A new specification methodology for embedded systems based on the π-calculus process algebra

Author

Forster, S. ; Fischer, M. ; Windisch, A. ; Balser, B. ; Monjau, D.

Author_Institution

EADS Mil. Aircraft, New Avionics Structures, Munich, Germany

fYear

2003

Firstpage

26

Lastpage

32

Abstract

This paper presents a formal specification methodology for embedded systems which is founded upon the π-calculus process algebra. The domain model underlying this newly developed methodology identifies eight categories of system building blocks each of which describes a particular system facet. Based on these building blocks complex embedded systems can be specified, refined, and formally verified. The theories underlying both system specification and refinement are explained and exemplified by applications from the field of aeronautics.

Keywords

algebraic specification; embedded systems; formal specification; pi calculus; process algebra; aeronautics; embedded system; pi-calculus process algebra; specification methodology; system building block; system refinement; system specification; Aerospace electronics; Algebra; Chemical technology; Costs; Distributed control; Embedded system; Formal specifications; Maintenance; Military aircraft; Reliability theory;

fLanguage

English

Publisher

ieee

Conference_Titel

Rapid Systems Prototyping, 2003. Proceedings. 14th IEEE International Workshop on

ISSN

1074-6005

Print_ISBN

0-7695-1943-1

Type

conf

DOI

10.1109/IWRSP.2003.1207026

Filename

1207026