An Agenda for Specifying Software Components with Complex Data Models

Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-processed to express functional and safety requirements adequately. These systems are characterized by a reference architecture. The method is expressed as an agenda, which is a list of activities to be performed for setting up the software specification, complemented by validation conditions that help detect and correct errors. The specification language we use is a combination of the formal notation Z and the diagrammatic notation statecharts. Our approach not only provides detailed guidance to specifiers, but it is also part of a more general engineering concept for engineering safety-critical embedded systems that was developed in the ESPRESS project, a joint project of academia and industry. 1 ESPRESS: Engineering of Safety-Critical Embedded Systems The work we present in this paper has been carried out in t...

• Type: Conference
• Year: 1998
• Where: SAFECOMP
• Authors: Kirsten Winter, Thomas Santen, Maritta Heisel
• Keywords: ESPRESS Project, SAFECOMP 1998, Safety-critical Embedded Systems, Safetycritical Embedded Systems, Security Privacy