Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Multidirectional modular conditional safety certificates

 
: Amorim, Tiago Luiz Buarque de; Ruiz, Alejandra; Dropmann, Christoph; Schneider, Daniel

:

Koornneef, Floor (Ed.):
Computer Safety, Reliability, and Security. SAFECOMP 2015 Workshops: ASSURE, DECSoS, ISSE, RESA4CI, and SASSUR. Proceedings : Delft, the Netherlands, September 22, 2015
Cham: Springer International Publishing, 2015 (Lecture Notes in Computer Science 9338)
ISBN: 978-3-319-24248-4 (Print)
ISBN: 978-3-319-24249-1 (Online)
pp.357-368
International Conference on Computer Safety, Reliability, and Security (SAFECOMP) <34, 2015, Delft>
International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR) <2015, Delft>
English
Conference Paper
Fraunhofer IESE ()
safety; case study

Abstract
Over the last 20 years, embedded systems have evolved from closed, rather static single-application systems towards open, flexible, multi-application systems of systems. While this is a blessing from an application perspective, it certainly is a curse from a safety engineering perspective as it invalidates the base assumptions of established engineering methodologies. Due to the combinatorial complexity and the amount of uncertainty encountered in the analysis of such systems, we believe that more potent modular safety approaches coupled with adequate runtime checks are required. In this paper, we investigate the possibility of an integrated contract-based approach covering vertical dependencies (between platform and application) and horizontal dependencies (between applications) in order to efficiently assure the safety of the whole system of systems through modularization. We integrate both concepts using state-of-the-art research and showcase the application of the integrated approach based on a small industrial case study.

: http://publica.fraunhofer.de/documents/N-366407.html