Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Conditional Safety Certification of Open Adaptive Systems

Conditional Safety Certification of Open Adaptive Systems Conditional Safety Certification of Open Adaptive Systems DANIEL SCHNEIDER and MARIO TRAPP, Fraunhofer IESE 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 this is not least due to 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 ones, are not sufficient in this context. We have recently developed some initial solution concepts based on conditional safety certificates and corresponding runtime analyses. In this article 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 safety evaluations. Categories and Subject Descriptors: C.2.4 [Distributed Systems]: Distributed applications; C.4 [Performance of Systems]: Modeling techniques; Performance attributes; Reliability, availability, and serviceability General Terms: Design, Reliability, Management Additional Key Words and Phrases: Adaptive systems, open systems, safety, http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png ACM Transactions on Autonomous and Adaptive Systems (TAAS) Association for Computing Machinery

Conditional Safety Certification of Open Adaptive Systems

Loading next page...
 
/lp/association-for-computing-machinery/conditional-safety-certification-of-open-adaptive-systems-myOo3MLbXD

References (43)

Publisher
Association for Computing Machinery
Copyright
Copyright © 2013 by ACM Inc.
ISSN
1556-4665
DOI
10.1145/2491465.2491467
Publisher site
See Article on Publisher Site

Abstract

Conditional Safety Certification of Open Adaptive Systems DANIEL SCHNEIDER and MARIO TRAPP, Fraunhofer IESE 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 this is not least due to 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 ones, are not sufficient in this context. We have recently developed some initial solution concepts based on conditional safety certificates and corresponding runtime analyses. In this article 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 safety evaluations. Categories and Subject Descriptors: C.2.4 [Distributed Systems]: Distributed applications; C.4 [Performance of Systems]: Modeling techniques; Performance attributes; Reliability, availability, and serviceability General Terms: Design, Reliability, Management Additional Key Words and Phrases: Adaptive systems, open systems, safety,

Journal

ACM Transactions on Autonomous and Adaptive Systems (TAAS)Association for Computing Machinery

Published: Jul 1, 2013

There are no references for this article.