Generating code from hierarchical state-based requirements

Mats Heimdahl; David J. Keenan

Generating code from hierarchical state-based requirements

Mats Heimdahl
, David J. Keenan

Computer Science and Engineering

Research output: Contribution to conference › Paper › peer-review

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 language	English (US)
Pages	210-219
Number of pages	10
State	Published - 1997
Event	Proceedings of the 1997 3rd International Symposium on Requirements Engineering - Annapolis, MD, USA Duration: Jan 6 1997 → Jan 10 1997

Other

Other	Proceedings of the 1997 3rd International Symposium on Requirements Engineering
City	Annapolis, MD, USA
Period	1/6/97 → 1/10/97

Find It

Find It at U of M Libraries

Cite this

@conference{5961ebb18b144718b44bc95c1d99a1cc,

title = "Generating code from hierarchical state-based requirements",

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.",

author = "Mats Heimdahl and Keenan, \{David J.\}",

year = "1997",

language = "English (US)",

pages = "210--219",

note = "Proceedings of the 1997 3rd International Symposium on Requirements Engineering ; Conference date: 06-01-1997 Through 10-01-1997",

}

TY - CONF

T1 - Generating code from hierarchical state-based requirements

AU - Heimdahl, Mats

AU - Keenan, David J.

PY - 1997

Y1 - 1997

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/0030853094

UR - https://www.scopus.com/pages/publications/0030853094#tab=citedBy

M3 - Paper

AN - SCOPUS:0030853094

SP - 210

EP - 219

T2 - Proceedings of the 1997 3rd International Symposium on Requirements Engineering

Y2 - 6 January 1997 through 10 January 1997

ER -

Generating code from hierarchical state-based requirements

Abstract

Other

Find It

Other files and links

Fingerprint

Cite this