ASCE will be sunsetting the Civil Engineering Database (CEDB) in the coming months. We encourage you to start using the ASCE Library to perform content searches. In the ASCE Library, you can save your search results as well as receive email content alerts when new content relevant to your area of interest is published. Try it out today at https://ascelibrary.org.

 

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

Services: Buy this book/Buy this article

 

Return to search