Prof. Dr.-Ing. habil.

Trapp, Mario

Filters

7
Reset filters

Settings
Now showing 1 - 7 of 7
  • Publication
    Digitale Dörfer. Wie Digitale Ökosysteme strukturiert sind und was sie leisten
    ( 2019)
    Trapp, Mario
    ;
    Hess, Steffen
    Im Projekt ""Digitale Dörfer"" zeigt das Fraunhofer-Institut für Experimentelles Software Engineering IESE, wie sich durch die Digitalisierung neue Chancen für ländliche Regionen auftun. Das Projekt ist im Sommer 2015 mit dem Ziel gestartet, die Herausforderungen des heutigen Lebens in ländlichen Regionen in Bezug auf die Digitalisierung zu untersuchen. Seit diesem Zeitpunkt entstehen Konzepte und Lösungen, die die Chancen einer ganzheitlichen Betrachtungsweise des Themas der Digitalisierung im Sinne eines Digitalen Ökosystems aufzeigen. Das vom Ministerium des Innern und für Sport Rheinland-Pfalz, dem Fraunhofer IESE und der Entwicklungsagentur Rheinland-Pfalz geförderte Projekt gilt dabei als Vorreiter für viele andere Initiativen, die seitdem in Deutschland entstanden sind. Gemeinsam wollen sie digitale Dienste auch im ländlichen Raum erproben und nachhaltig anwendbar machen.
  • Publication
    Safety in der Industrie 4.0
    ( 2017)
    Liggesmeyer, Peter
    ;
    Trapp, Mario
    In der Industrie 4.0 kommen modulare und adaptive Systeme zum Einsatz. Daraus ergeben sich zahlreiche Herausforderungen für den Nachweis der Betriebssicherheit (Safety). Dieses Kapitel zeigt die wesentlichen Herausforderungen an das Safety-Engineering auf und erläutert mögliche Lösungskonzepte. Dazu gibt das Kapitel einen Überblick zu modularen Sicherheitsnachweisverfahren, welche die flexible und sichere Komposition von Anlagen unterstützen. Zudem werden Ansätze zur Laufzeitzertifizierung vorgestellt, welche es ermöglichen, Anlagen zur Laufzeit sicher dynamisch zu rekonfigurieren.
  • Publication
    A reference architecture and roadmap for models@run.time systems
    ( 2014)
    Aßmann, Uwe
    ;
    Götz, Sebastian
    ;
    Jézéquel, Jean-Marc
    ;
    Morin, Brice
    ;
    Trapp, Mario
    The key property of models@run.time systems is their use and provision of manageable reflection, which is characterized to be tractable and predictable and by this overcomes the limitation of reflective systems working on code, which face the problem of undecidability due to Turing-completeness. To achieve tractability, they abstract from certain aspects of their code, maintaining runtime models of themselves, which form the basis for reflection. In these systems, models form abstractions that neglect unnecessary details from the code, details which are not pertinent to the current purpose of reflection. Thus, models@run.time systems are a new class of reflective systems, which are characterized by their tractability, due to abstraction, and their ability to predict certain aspects of their own behavior for the future. This chapter outlines a reference architecture for models@run.time systems with the appropriate abstraction and reflection components and gives a roadmap comprised of short- and long-term research challenges for the area. Additionally, an overview of enabling and enabled technologies is provided. The chapter is concluded with a discussion of several application fields and use cases.
  • Publication
    Safety: Herausforderungen und Lösungsansätze
    ( 2014)
    Liggesmeyer, Peter
    ;
    Trapp, Mario
    Die "Umsetzungsempfehlungen für das Zukunftsprojekt Industrie 4.0" sehen als zentrales Element der Industrie 4.0 "eine Vernetzung von autonomen, sich situativ selbst steuernden, sich selbst konfigurierenden, wissensbasierten, sensorgestützten und räumlich verteilten Produktionsressourcen (Produktionsmaschinen, Roboter, Förder- und Lagersysteme, Betriebsmittel) inklusive deren Planungs- und Steuerungssysteme."
  • Publication
    Safety assurance of open adaptive systems - a survey
    ( 2014)
    Trapp, Mario
    ;
    Schneider, Daniel
    Open adaptive systems are the basis for a promising new generation of embedded systems with huge economic potential. In many application domains, however, the systems are safety-critical and an appropriate safety assurance approach is still missing. In recent years, models at runtime have emerged as a promising way to systematically engineer adaptive systems. This approach seems to provide the indispensable leverage for applying safety assurance techniques in adaptive systems. Therefore, this survey analyzes the state-of-the-art of models at runtime from a safety engineering point of view in order to assess the potential of this approach and to identify open gaps that have to be closed in future research to yield a safety assurance approach for open adaptive systems.
  • Publication
    A safety roadmap to cyber-physical systems
    ( 2013)
    Trapp, Mario
    ;
    Schneider, Daniel
    ;
    Liggesmeyer, Peter
    In recent years, the term cyber-physical systems has emerged to characterize a new generation of embedded systems. In cyber-physical systems, embedded systems will be open in the sense that they will dynamically interconnect with other systems and will be able to dynamically adapt to changing runtime contexts. Such open adaptive systems provide a huge potential for society and for the economy. On the other hand, however, openness and adaptivity make it hard or even impossible for developers to predict a system's dynamic structure and behavior. This impedes the assurance of important system quality properties, especially safety and reliability. Safety assurance of cyber-physical systems will therefore be both one of the most urgent and one of the most challenging research questions of the next decade. This chapter analyzes the state of the art in order to identify open gaps and suggests a runtime safety assurance framework for cyber-physical systems to structure ongoing and future research activities.
  • Publication
    Modeling Quality Aspects: Safety
    ( 2012)
    Höfig, Kai
    ;
    Trapp, Mario
    ;
    Zimmer, Bastian
    ;
    Liggesmeyer, Peter
    Safety is typically defined as freedom from unacceptable risk (of harm) To ensure a certain level of quality, in most industrial domains the development of safety-critical systems is governed by standards.