Abstract
A formal approach to the specification of inter-component communication in Requirements State Machine Language (RSML) specifications is discussed. The approach is based on communicating finite state machines. The formalism allows encapsulation of communication related properties in well-defined interface specifications. The encapsulation enables the use of interface specifications as simple safety kernels and enforce certain safety and liveliness constraints in these kernels. Furthermore, how safety and liveness constraints related to inter-component communications can be formalized using a simple and easy to understand constraint language is discussed.
| Original language | English (US) |
|---|---|
| Title of host publication | Proceedings of the High-Assurance Systems Engineering Workshop |
| Publisher | IEEE |
| Pages | 56-61 |
| Number of pages | 6 |
| State | Published - Jan 1 1997 |
| Event | Proceedings of the 1997 High-Assurance Systems Engineering Workshop, HASE - Washington, DC, USA Duration: Aug 11 1997 → Aug 12 1997 |
Other
| Other | Proceedings of the 1997 High-Assurance Systems Engineering Workshop, HASE |
|---|---|
| City | Washington, DC, USA |
| Period | 8/11/97 → 8/12/97 |