Prof. Dr.-Ing. habil.

Trapp, Mario

Filters

1
3
Reset filters

Settings
Now showing 1 - 3 of 3
  • Publication
    B-space. Dynamic management and assurance of open systems of systems
    ( 2018)
    Schneider, Daniel
    ;
    Trapp, Mario
    Connected cars, freely configurable operating rooms, or autonomous harvesting fleets: dynamically emerging open systems of systems will shape a new generation of systems opening up a vast potential for new kinds of applications. In light of the hard-to-predict structure and behavior of such systems, assuring their safety will require some disruptive changes of established safety paradigms. Combining current research results from different disciplines with industrial experience, this paper dares to think out of the box and look beyond the limits of traditional safety assurance. It structures upcoming challenges posed by the emergence of open systems of systems, tries to shift existing paradigms to meet those new challenges, and proposes an abstract conceptual framework building on comprehensive interlinked multi-concern runtime models for dynamically assuring the safety as well as other properties of open systems of systems. As there currently is no comprehensive realization of the framework, we discuss what kind of approaches could fit into which parts of the framework and exemplify this for the case of conditional safety certificates.
  • Publication
    Conditional safety certification of open adaptive systems
    ( 2013)
    Schneider, Daniel
    ;
    Trapp, Mario
    In recent years it has become more and more evident that openness and adaptivity are key characteristics of next-generation distributed systems. The reason for this is not least due to the advent of computing trends like ubiquitous computing, ambient intelligence, and cyber-physical systems, where systems are usually open for dynamic integration and able to react adaptively to changing situations. Despite being open and adaptive, it is a common requirement for such systems to be safe. However, traditional safety assurance techniques, both state-of-the-practice and state-of-the-art ones, are not sufficient in this context. We have recently developed some initial solution concepts based on conditional safety certificates and corresponding runtime analyses. In this article we show how to operationalize these concepts. To this end, we present in detail how to specify conditional safety certificates, how to transform them into suitable runtime models, and how these models finally support dynamic safety evaluations.
  • Publication
    Efficient safety analysis of automotive software systems
    ( 2009)
    Trapp, Mario
    ;
    Kemmann, Sören
    ;
    Kalmar, Ralf
    ;
    Denger, Christian
    Software has rapidly gained importance as a driver for innovation in automobiles. Since many safety-related automotive systems make intensive use of software, the upcoming ISO 26262 poses several requirements addressing software development, including safety analyses for software. For software, however, safety analysis techniques are seldom applied in practice. It is unclear how to apply them and in many cases even their usefulness in general is questioned. This article illustrates why software safety analyses are indispensable, how they can be efficiently applied to complex systems, and how they relate to existing software quality assurance techniques and system safety analyses.