Title :
Specification and analysis of intercomponent communication
Author :
Heimdahl, Mats P E ; Thompson, Jeffrey M. ; Czerny, Barbara J.
Author_Institution :
Dept. of Comput. Sci. & Eng., Minnesota Univ., Minneapolis, MN, USA
fDate :
4/1/1998 12:00:00 AM
Abstract :
The correctness, safety and robustness of the specification of a critical system are assessed through a combination of rigorous specification capture and inspection, formal analysis of the specification, and execution and simulation of the specification. Any integrated approach to specifying critical systems should support all three activities. Embedded systems pose special challenges to the specification and analysis of intercomponent communication. The authors present a formal approach which lets the interface specifications serve as kernels that enforce safety and simple liveness constraints
Keywords :
formal specification; real-time systems; safety-critical software; systems analysis; embedded systems; formal analysis; formal approach; intercomponent communication analysis; interface specifications; liveness constraints; robustness; safety critical system; simulation; specification correctness; Aerospace electronics; Air traffic control; Aircraft; Control systems; Embedded software; Embedded system; Kernel; Robustness; Shape control; Software safety;
