Title :
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
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;
Conference_Titel :
Rapid Systems Prototyping, 2003. Proceedings. 14th IEEE International Workshop on
Print_ISBN :
0-7695-1943-1
DOI :
10.1109/IWRSP.2003.1207026
