Buch, Englisch, Band 48, 228 Seiten, Format (B × H): 172 mm x 240 mm, Gewicht: 411 g
Buch, Englisch, Band 48, 228 Seiten, Format (B × H): 172 mm x 240 mm, Gewicht: 411 g
Reihe: PhD Theses in Experimental Software Engineering
ISBN: 978-3-8396-0690-2
Verlag: Fraunhofer Verlag
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.