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.

Language

  • English

Media Info

  • Features: Appendices; Figures; References; Tables;
  • Pagination: p. 73-86
  • Serial:

Subject/Index Terms

Filing Info

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