Specification and analysis of intercomponent communication

Publisher Website
Google Scholar
Abstract
Embedded critical systems pose particularly difficult problems in writing and validating software requirements. Often, the interfaces between the software and the embedding environment are a major source of costly errors. At an abstract level, we can view an embedded control system as a collection of physically distinct components communicating over unidirectional communication channels. This view is adopted in the Requirements State Machine Language (RSML), which was used successfully to model TCAS II, a large commercial avionics system that the US Federal Aviation Administration requires on all aircraft with more than 30 seats. This work extends and refines RSML to support rigorous specification and analysis of system-level intercomponent communication. It does this using a formalism that defines interfaces as well as input and output variables. The authors have also developed a set of prototype tools supporting the analysis of system level intercomponent communication.

This publication has 9 references indexed in Scilit: