Verification of Real-Time Software for Active Structural Controlby 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
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