Contract Based Assessment of Safety Critical Systems

BIB
Böde, Eckard and Gebhardt, Sebastian and Peikenkamp, Thomas
In this paper, we will demonstrate an approach for compositional, contract based safety assessment which is built on the foundation of the heterogeneous Rich Component Model (HRC) developed in the SPEEDS (Speculative and exploratory Design in Systems Engineering) project. We will show how the method addresses issues that are present in present day development processes and demonstrate its applicability on a case study taken from the avionics domain. Of particular importance is that we do not want to replace the processes themselves, but rather propose an approach that extends and supports current practices and integrates well with the standard development and safety assessment processes.
05 / 2010
inproceedings
Swedish Chapter of INCOSE
MISSA
More Integrated and cost efficient Systems Safety Assessment
COMBEST
Component-based Embedded Systems Design Techniques