Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

A safety engineering framework for open adaptive systems

: Schneider, Daniel; Trapp, Mario


Institute of Electrical and Electronics Engineers -IEEE-:
SASO 2011, Fifth IEEE International Conference on Self-Adaptive and Self-Organizing Systems : Ann Arbor, Michigan, USA, October 3 - October 7, 2011
New York, NY: IEEE, 2011
ISBN: 978-0-7695-4542-4
ISBN: 978-1-4577-1614-0
ISBN: 1-4577-1614-3
International Conference on Self-Adaptive and Self Organizing Systems (SASO) <5, 2011, Ann Arbor/Mich.>
Fraunhofer IESE ()
System of System (SoS); safety; adaptive system; open system

In recent years it has become more and more evident that openness and adaptivity are key characteristics of next generation distributed systems. The reason for that is not least the advent of computing trends like Ubiquitous Computing, Ambient Intelligence, and Cyber Physical Systems, where systems are usually open for dynamic integration and able to react adaptively to changing situations. Despite being open and adaptive it is a common requirement for such systems to be safe. However, traditional safety assurance techniques, both state-of-the-practice and state-of-the-art, are not sufficient in this context. We recently developed some initial solution concepts based on conditional safety certificates and corresponding runtime analyses. In this paper we show how to operationalize these concepts. To this end we present in detail how to specify conditional safety certificates, how to transform them into suitable runtime models, and how these models finally support dynamic safetyevaluations.