TY - GEN
T1 - WAP
T2 - 26th IEEE International Symposium on Software Reliability Engineering, ISSRE 2015
AU - Schneider, Daniel
AU - Trapp, Mario
AU - Papadopoulos, Yiannis
AU - Armengaud, Eric
AU - Zeller, Marc
AU - Höfig, Kai
N1 - Publisher Copyright:
© 2015 IEEE.
PY - 2016/1/13
Y1 - 2016/1/13
N2 - Cyber-Physical Systems (CPS) provide enormous potential for innovation but a precondition for this is that the issue of dependability has been addressed. This paper presents the concept of a Digital Dependability Identity (DDI) of a component or system as foundation for assuring the dependability of CPS. A DDI is an analyzable and potentially executable model of information about the dependability of a component or system. We argue that DDIs must fulfill a number of properties including being universally useful across supply chains, enabling off-line certification of systems where possible, and providing capabilities for in-field certification of safety of CPS. In this paper, we focus on system safety as one integral part of dependability and as a practical demonstration of the concept, we present an initial implementation of DDIs in the form of Conditional Safety Certificates (also known as ConSerts). We explain ConSerts and their practical operationalization based on an illustrative example.
AB - Cyber-Physical Systems (CPS) provide enormous potential for innovation but a precondition for this is that the issue of dependability has been addressed. This paper presents the concept of a Digital Dependability Identity (DDI) of a component or system as foundation for assuring the dependability of CPS. A DDI is an analyzable and potentially executable model of information about the dependability of a component or system. We argue that DDIs must fulfill a number of properties including being universally useful across supply chains, enabling off-line certification of systems where possible, and providing capabilities for in-field certification of safety of CPS. In this paper, we focus on system safety as one integral part of dependability and as a practical demonstration of the concept, we present an initial implementation of DDIs in the form of Conditional Safety Certificates (also known as ConSerts). We explain ConSerts and their practical operationalization based on an illustrative example.
KW - Conditional Safety Certificate
KW - Cyber-Physical Systems
KW - Digital Dependability Identity
KW - open systems
KW - safety
UR - http://www.scopus.com/inward/record.url?scp=84964874044&partnerID=8YFLogxK
U2 - 10.1109/ISSRE.2015.7381825
DO - 10.1109/ISSRE.2015.7381825
M3 - Conference contribution
AN - SCOPUS:84964874044
T3 - 2015 IEEE 26th International Symposium on Software Reliability Engineering, ISSRE 2015
SP - 324
EP - 329
BT - 2015 IEEE 26th International Symposium on Software Reliability Engineering, ISSRE 2015
PB - Institute of Electrical and Electronics Engineers Inc.
Y2 - 2 November 2015 through 5 November 2015
ER -