Sciweavers

Share
SAFECOMP
1998
Springer

An Agenda for Specifying Software Components with Complex Data Models

9 years 10 months ago
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...
Kirsten Winter, Thomas Santen, Maritta Heisel
Added 06 Aug 2010
Updated 06 Aug 2010
Type Conference
Year 1998
Where SAFECOMP
Authors Kirsten Winter, Thomas Santen, Maritta Heisel
Comments (0)
books