Access the full text.
Sign up today, get DeepDyve free for 14 days.
G. Lenzini, A. Tokmakoff, J. Muskens (2007)
Managing Trustworthiness in Component-based Embedded Systems
(1996)
Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment. Society of Automotive Engineers
ACM Transactions on Autonomous and Adaptive Systems
D. Schneider, M. Trapp (2011)
A Safety Engineering Framework for Open Adaptive Systems2011 IEEE Fifth International Conference on Self-Adaptive and Self-Organizing Systems
N. Bencomo (2009)
On the use of software models during software execution2009 ICSE Workshop on Modeling in Software Engineering
J. Fenn, R. Hawkins, P. Williams, T. Kelly (2007)
Safety Case Composition Using Contracts - Refinements based on Feedback from an Industrial Case Study
(2015)
ANSI/AAMI/IEC 62304:2006 and A1:2016; Medical device software—Software life cycle processes
(2002)
Modular certification. NASA contractor rep
C. Peper, D. Schneider (2008)
Component engineering for adaptive ad-hoc systems
Y. Papadopoulos, J. Mcdermid (1999)
Hierarchically Performed Hazard Origin and Propagation Studies
R. Bell (1999)
IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview
D. Schneider, M. Trapp (2010)
Conditional safety certificates in open systems
M. Trapp, R. Adler, M. Forster, J. Junger (2007)
Runtime adaptation in safety-critical automotive systems
D. Schneider, Martin Becker, M. Trapp (2011)
Approaching runtime trust assurance in open adaptive systems
H. Goldsby, B. Cheng, Ji Zhang (2008)
AMOEBA-RT: Run-Time Verification of Adaptive Software
R. Su, M. Chaudron, J. Lukkien (2007)
Adaptive runtime fault management for service instances in component-based software applicationsIET Softw., 1
R. Bryant (1995)
Binary decision diagrams and beyond: enabling technologies for formal verificationProceedings of IEEE International Conference on Computer Aided Design (ICCAD)
D. Domis, M. Trapp (2008)
Integrating Safety Analyses and Component-Based Design
(2011)
Road vehicles, functional safety part 6: Product development at the software level
P. Jordan (2007)
Standard IEC 62304 - Medical Device Software - Software Lifecycle Processes
T. Kelly (2002)
Concepts and Principles of Compositional Safety Case Construction
H. Lougee (2001)
SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION
F. Somenzi (1999)
Binary Decision Diagrams
J. Rushby (2007)
Just-in-Time Certification12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007)
Bernhard Kaiser, P. Liggesmeyer, O. Mäckel (2003)
A New Component Concept for Fault Trees
R. Hawkins (2002)
Performing Hazard and Safety Analysis of Object Oriented Systems
C. Shelton, P. Koopman, W. Nace (2003)
A framework for scalable analysis and design of system-wide graceful degradation in distributed embedded systemsProceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003).
P. Inverardi, Patrizio Pelliccione, Massimo Tivoli (2009)
Towards an assume-guarantee theory for adaptable systems2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
J. Muskens, M. Chaudron (2004)
Integrity management in component based systemsProceedings. 30th Euromicro Conference, 2004.
H. Giese, M. Hirsch (2005)
Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML
Brice Morin, Olivier Barais, J. Jézéquel, Arnor Solberg (2010)
Models@ Run.time to Support Dynamic Adaptation
T. Vogel, H. Giese (2010)
Adaptation and abstract runtime modelsArXiv, abs/1805.07397
J. Rushby (2008)
Runtime Certification
R. Bryant (1989)
Graph-based Algorithm for Boolean Function ManipulationIEEE Transactions on Computers
J. Floch, Svein Hallsteinsen, Erlend Stav, F. Eliassen, K. Lund, Eli Gjørven (2006)
Using architecture models for runtime adaptabilityIEEE Software, 23
T. Kelly (2004)
The Goal Structuring Notation – A Safety Argument Notation
D. Schneider, M. Trapp (2009)
Runtime Safety Models in Open Systems of Systems2009 Eighth IEEE International Conference on Dependable, Autonomic and Secure Computing
(2008)
Introduction to service-oriented modeling
O. Lisagor, J Mcdermid, J Pumfrey (2006)
Towards a Practicable Process for Automated Safety Analysis
E. Althammer, E. Schoitsch, H. Eriksson, J. Vinter (2009)
The DECOS Concept of Generic Safety Cases - A Step towards Modular Certification2009 35th Euromicro Conference on Software Engineering and Advanced Applications
P. Fenelon, J. Mcdermid, M. Nicolson, D. Pumfrey (1994)
Towards integrated safety analysis and designACM Sigapp Applied Computing Review, 2
A. Avizienis, J. Laprie, B. Randell, C. Landwehr (2004)
Basic concepts and taxonomy of dependable and secure computingIEEE Transactions on Dependable and Secure Computing, 1
(2013)
Is an FP7 project funded by the European Commission
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,
ACM Transactions on Autonomous and Adaptive Systems (TAAS) – Association for Computing Machinery
Published: Jul 1, 2013
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.