Verification of Real-Time Software for Active Structural Control

by John W. Baugh, Jr., North Carolina State Univ, Raleigh, United States,
Wael M. Elseaidy, North Carolina State Univ, Raleigh, United States,

Document Type: Proceeding Paper

Part of: Computing in Civil and Building Engineering


In this paper we give an overview of our preliminary work in verifying the reliability of real-time software systems for active structural control. While there have been numerous studies on control strategies, our work seeks to ensure the overall reliability of the software system given a particular control algorithm. We outline a three-step process based on formal methods for designing reliable real-time software.

Subject Headings: Structural reliability | System reliability | Computer software | Structural systems | Hydraulic structures | Algorithms | Control systems | Structural design

Services: Buy this book/Buy this article


Return to search