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 |