Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Specifying safety-critical embedded systems with statecharts and Z

A case study
 
: Büssow, R.; Geisler, R.; Klar, M.

Astesiano, E.:
Fundamental approaches to software engineering. First international conference FASE '98. Proceedings
Berlin: Springer, 1998 (Lecture notes in computer science 1382)
ISBN: 3-540-64303-6
ISSN: 0302-9743
European Joint Conferences on Theory and Practice of Software (ETAPS) <1998, Lissabon>
International Conference on Fundamentals Approaches to Software Engineering (FASE) <1, 1998, Lissabon>
English
Conference Paper
Fraunhofer ISST ()
formal method; Formale Methode; safety-critical embedded system; sicherheitsrelevantes eingebettetes System; specification; Spezifikation; statechart; Z

Abstract
In this paper we introduce a formal approach for the specification of safety-critical embedded systems. The specification formalisms Z and statecharts are integrated under a suitable structural model. The combined approach uses the advantages of the formalisms while avoiding their disadvantages. The different formalisms yield different, compatible views on the system: the functional view describing data and data-transformation, the reactive view, describing the system's reaction upon external stimuli, and the structural view, describing the components of the system and their interaction. The combination is discussed presenting parts of a case study: a traffic light control system. The case study is oriented at original planning documents. Besides its safety- and real-time-aspects, the case study is particularly interesting because structuring and reuse is of considerable importance in this example.

: http://publica.fraunhofer.de/documents/PX-34398.html