Timing Analysis of a Multiprocessor Architecture for Active Control

See related content

by John W. Baugh, Jr., (A.M.ASCE), North Carolina State Univ, Raleigh, United States,
Wael M. Elseaidy, North Carolina State Univ, Raleigh, United States,

Document Type: Proceeding Paper

Part of: Analysis and Computation:

Abstract: This paper describes how real-time multiprocessor systems, such as those required for active structural control, can be developed to satisfy timing requirements on hardware and software. The approach includes an analysis of the required timing properties, a modeling technique based on real-time logic and Modecharts, and a verification procedure using simulation and model checking. Our goal is to enable the development of reliable real-time computer software for practical civil engineering applications.

Subject Headings: Computer software | Computer models | Computer analysis | Active control | Simulation models | Architectural engineering | Structural systems | System analysis |

Services: Buy this book/Buy this article


Return to search