Conditional Safety Certification for Open Adaptive Systems
PhD Theses in Experimental Software Engineering, Band 48
Daniel Schneider
Hrsg.: Fraunhofer IESE, Kaiserslautern
2014, 228 S., num. illus. and tab., Softcover
Sprache: Englisch
Kaiserslautern, TU, Diss., 2014
Fraunhofer Verlag
ISBN 978-3-8396-0690-2

zur Open Access Version

Inhalt
There is a huge trend in computer systems towards distributed, open and adaptive systems of systems. The application domains of such systems are often safety-critical, and established safety engineering paradigms are not applicable without modifications. This thesis presents a framework that enables safety certification based on modular conditional safety certificates - ConSerts. ConSerts can be composed and evaluated at runtime, when all required information about the current system composition can be obtained.

Verfügbare Formate