Verifying communication constraints in RSML specifications

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations


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 languageEnglish (US)
Title of host publicationProceedings of the High-Assurance Systems Engineering Workshop
Number of pages6
StatePublished - Jan 1 1997
EventProceedings of the 1997 High-Assurance Systems Engineering Workshop, HASE - Washington, DC, USA
Duration: Aug 11 1997Aug 12 1997


OtherProceedings of the 1997 High-Assurance Systems Engineering Workshop, HASE
CityWashington, DC, USA

Fingerprint Dive into the research topics of 'Verifying communication constraints in RSML specifications'. Together they form a unique fingerprint.

Cite this