5th International Workshop on

Formal Methods for Industrial Critical Systems

Berlin, April 3-4, 2000

Integrating formal methods into the development cycle of a safety-critical embedded software system

This paper describes a technology transfer project where formal specification and verification techniques have been applied in the development of a safety-critical embedded software system. Irst was directly involved in the development, jointly working with the design engineers of the company developing the system. The project was subject to two major requirements. First, a tight integration of the formal methodologies into the existing development cycle was to be achieved in order to enhance the quality of the design. Second, it was necessary to limit the impact of the introduction of a new, potentially costly methodology. During the project, a structured specification methodology was designed, tailored to the structure of the system under analysis. This methodology combines the use of the commercial tool ObjectGeode with a custom support tool, developed during the project, for the automatic generation of executable models, starting from the formal specification of subcomponents.

Note: The content of the following files is part of GMD Report No. 91 and subject to its copyright.


Last modified: Wednesday, 19-Apr-2000 08:57:51 MET DST, Axel Rennoch