Generating code from hierarchical state-based requirements

Mats Heimdahl, David J. Keenan

Research output: Contribution to conferencePaper

9 Scopus citations

Abstract

A requirements specification language called Requirements State Machine Language (RMSL) was developed for the specification of safety critical control embedded systems. The RMSL syntax and semantics were developed with readability, understandability, and ease of use in mind. The usefulness of the language was demonstrated in a large commercial avionics system. Furthermore, a collection of automated analysis procedures was developed for checking the RMSL specification for desirable properties such as completeness, consistency and determinism.

Original languageEnglish (US)
Pages210-219
Number of pages10
StatePublished - Jan 1 1997
EventProceedings of the 1997 3rd International Symposium on Requirements Engineering - Annapolis, MD, USA
Duration: Jan 6 1997Jan 10 1997

Other

OtherProceedings of the 1997 3rd International Symposium on Requirements Engineering
CityAnnapolis, MD, USA
Period1/6/971/10/97

Fingerprint Dive into the research topics of 'Generating code from hierarchical state-based requirements'. Together they form a unique fingerprint.

  • Cite this

    Heimdahl, M., & Keenan, D. J. (1997). Generating code from hierarchical state-based requirements. 210-219. Paper presented at Proceedings of the 1997 3rd International Symposium on Requirements Engineering, Annapolis, MD, USA, .