Prof. Dr.-Ing. habil.

Trapp, Mario

Filters

7
Reset filters

Settings
Now showing 1 - 7 of 7
No Thumbnail Available
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.

View
No Thumbnail Available
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.

View
No Thumbnail Available
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.

View
No Thumbnail Available
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.

View
No Thumbnail Available
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.

View
No Thumbnail Available
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."

View
No Thumbnail Available
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.

View