Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

WAP: Digital dependability identities

 
: Schneider, Daniel; Trapp, Mario; Papadopoulos, Yiannis; Armengaud, Eric; Zeller, Marc; Höfig, Kai

:

Institute of Electrical and Electronics Engineers -IEEE-:
IEEE 26th International Symposium on Software Reliability Engineering, ISSRE 2015. Proceedings : Gaithersburg, MD, USA, November 2-5, 2015
Piscataway, NJ: IEEE, 2015
ISBN: 978-1-5090-0405-8 (CD-ROM)
ISBN: 978-1-5090-0406-5 (Electronic)
ISBN: 978-1-5090-0407-2 (Print on Demand)
pp.324-329
International Symposium on Software Reliability Engineering (ISSRE) <26, 2015, Gaithersburg/Md.>
English
Conference Paper
Fraunhofer IESE ()
cyber physical system; safety; certification

Abstract
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.

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