REAL-TIME SOFTWARE DEVELOPMENT WITH FORMAL MODELS

Improvements in microcomputer technology allow for the installment of computer hardware in structural and mechanical systems. One application of this technology is active structural control, whereby computer-based sensors and actuators work to limit vibrations and reduce the possibility of failure in seismic events. The aim of the study presented is to develop approaches that can ensure the overall reliability of these real-time systems before deployment. A three-step approach based on formal methods for designing reliable real-time systems is outlined. Specifically, the approach includes an analysis of the required timing properties and a verification procedure using simulation and model checking. In a demonstration of structural control, the required timing properties are satisfied via the given hardware and software architecture.

• Availability:
  • Find a library where document is available. Order URL: http://worldcat.org/issn/08873801
• Corporate Authors:

  American Society of Civil Engineers

  345 East 47th Street
  New York, NY  United States  10017-2398
• Authors:
  • Baugh Jr, J W
  • Elseaidy, W M
• Publication Date: 1995-1

Language

• English

Media Info

• Features: Appendices; Figures; References; Tables;
• Pagination: p. 73-86
• Serial:
  • Journal of Computing in Civil Engineering
  • Volume: 9
  • Issue Number: 1
  • Publisher: American Society of Civil Engineers
  • ISSN: 0887-3801

Subject/Index Terms

• TRT Terms: Actuators; Control systems; Dynamics; Information processing; Real time control; Seismicity; Sensors; Simulation; Software; Structural mechanics
• Uncontrolled Terms: Hardware
• Old TRIS Terms: Control systems design; Models-simulation; Real-time systems; Seismic properties
• Subject Areas: Bridges and other structures; Highways; Planning and Forecasting; I72: Traffic and Transport Planning;

Filing Info

• Accession Number: 00672329
• Record Type: Publication
• Files: TRIS
• Created Date: Jan 16 1995 12:00AM