This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Specification and Analysis of Intercomponent Communication
April 1998 (vol. 31 no. 4)
pp. 47-54
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.
Citation:
Mats P.E. Heimdahl, Jeffrey M. Thompson, Barbara J. Czerny, "Specification and Analysis of Intercomponent Communication," Computer, vol. 31, no. 4, pp. 47-54, April 1998, doi:10.1109/2.666842
Usage of this product signifies your acceptance of the Terms of Use.