Conditional safety certification for open adaptive systems

Autoren

• Daniel Schneider

Parameter

• Informatik & Programmierung
• PhD theses in experimental software engineering

Mehr zum Buch

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.

Mehr lesen

• Sprache: Englisch
• Erscheinungsdatum: 2014