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: Computer software | Structural reliability | Structural control | Hydraulic structures | Structural systems | Verification | System reliability

Services: Buy this book/Buy this article


Return to search