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.
ERCIM FMICS Home Page,
GMD FOKUS Home Page
Last modified: Wednesday, 19-Apr-2000 08:57:51 MET DST,
Axel Rennoch