Prof. Dr.-Ing. habil.

Trapp, Mario

Filters

1
11
Reset filters

Settings
Now showing 1 - 10 of 11
  • 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
    Rural Solutions. Smart Services für ein Land von morgen
    ( 2015)
    Trapp, Mario
    ;
    Swarat, Gerald
    Das Internet und die Digitalisierung unseres Lebens verschwinden nicht mehr, sondern durchdrungen weitere Bereiche immer stärker. Das gilt nicht nur für die Smart Cities von morgen, sondern ebenso für die ländlichen Regionen von heute. Smarte Technologien bieten softwarebasierte Lösungen und Zukunftschancen, um neue Geschäftsmodelle, Strategien und Sicherheitsstandards zu entwickeln, Unternehmen zu begeistern und sowohl innovative als auch effiziente Wege für eine neue Arbeits- und Lebensqualität in den vom Strukturwandel bedrohten ländlichen Regionen zu finden.
  • Publication
    I-SafE: An integrated safety engineering tool
    ( 2015)
    Antonino, Pablo
    ;
    Velasco, David S.
    ;
    Schneider, Daniel
    ;
    Trapp, Mario
    ;
    Reich, Jan
    Traditionally, safety engineering has been a matter of tables and textual documents and even of pen and paper. Even in the age of computerization, this did has not really changed significantly, as the state of the practice in safety engineering is nowadays dominated by Excel sheets and Word files. Nevertheless, a range of computer-aided safety analysis and modeling techniques have emerged and are being put to good use. The problem here is, however, that there is a lack of profound integration between different safety artifacts on the one hand and the general engineering artifacts on the other hand. In addition, between the different safety analysis techniques and the regular engineering techniques, there is usually a range of different tools in use that are not really compatible with each other. To overcome this problem, we conceptualized and implemented an integrated multi-analyses and multi-viewpoint safety engineering tool that enables tight integration between different models within and across different engineering disciplines. This paper gives an overview of the main features of this tool.
  • Publication
    Landleben 2.0. Vom smarten Leben auf dem Lande
    ( 2014)
    Spanier-Baro, Nicole
    ;
    Trapp, Mario
    Informationstechnologie ist der entscheidende Faktor, wenn es darum geht, dem ländlichen Leben eine Zukunftsperspektive zu geben. Die Vernetzung intelligenter Software und Systeme in allen Bereichen des täglichen Lebens bietet ein bislang ungenutztes Potenzial, um ländliche Regionen als sogenannte "Smart Rural Areas" vom Abstellgleis auf die Überholspur in Richtung Zukunft zu führen.
  • 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
    Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems
    ( 2010)
    Adler, Rasmus
    ;
    Schäfer, Ina
    ;
    Trapp, Mario
    ;
    Poetzsch-Heffter, Arnd
    Adaptation is increasingly used in the development of safety-critical embedded systems, in particular to reduce hardware needs and to increase availability. However, composing a system from many reconfigurable components can lead to a huge number of possible system configurations, inducing a complexity that cannot be handled during system design. To overcome this problem, we propose a new component-based modeling and verification method for adaptive embedded systems. The component-based modeling approach facilitates abstracting a composition of components to a hierarchical component. In the hierarchical component, the number of possible configurations of the composition is reduced to a small number of hierarchical configurations. Only these hierarchical configurations have to be considered when the hierarchical component is used in further compositions such that design complexity is reduced at each hierarchical level. In order to ensure well-definedness of components, we provide a model of computation enabling the formal verification of critical requirements of the adaptation behavior.
  • Publication
    Safety-Analyse für Embedded-Software
    ( 2009)
    Kemmann, Sören
    ;
    Trapp, Mario
    ;
    Kalmar, Ralf
    Der Safety-Standard ISO 26262 hat mittlerweile den Status "committee draft" erreicht und wird die Softwareentwicklung sicherheitsrelevanter Funktionen für Fahrzeugsteuergeräte nachhaltig beeinflussen. Forscher des Fraunhofer IESE beschäftigen sich gemeinsam mit Unternehmen mit der Fragestellung, Software-Safety im Zuge der Entwicklung effizient zu bewerten, so dass resultierende Systeme sicher sind und ein Mehraufwand bei der Analyse vermieden werden kann.