Verification of Real-Time Software for Active Structural Control

See related content

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