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

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

Services: Buy this book/Buy this article

 

Return to search