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.
Produkteigenschaften
- Artikelnummer: 9783839606902
- Medium: Buch
- ISBN: 978-3-8396-0690-2
- Verlag: Fraunhofer Verlag
- Erscheinungstermin: 26.03.2014
- Sprache(n): Englisch
- Auflage: Erscheinungsjahr 2014
- Serie: PhD Theses in Experimental Software Engineering
- Produktform: Kartoniert
- Gewicht: 411 g
- Seiten: 228
- Format (B x H x T): 172 x 240 x 20 mm
- Ausgabetyp: Kein, Unbekannt