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

Volume

31

Issue

4

fYear

1998

fDate

4/1/1998 12:00:00 AM

Firstpage

47

Lastpage

54

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;

fLanguage

English

Journal_Title

Computer

Publisher

ieee

ISSN

0018-9162

Type

jour

DOI

10.1109/2.666842

Filename

666842