@inproceedings{, Author = {Bòˆde, Eckard and Gebhardt, Sebastian and Peikenkamp, Thomas }, Title = {Contract Based Assessment of Safety Critical Systems}, Year = {2010}, Month = {05}, Organization = {Swedish Chapter of INCOSE}, type = {inproceedings}, note = {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 En}, Abstract = {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. } } @COMMENT{Bibtex file generated on }