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
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.
Services: Buy this book/Buy this article
Return to search