Prof. Dr.-Ing. habil.

Trapp, Mario

Filters

4
Reset filters

Settings
Now showing 1 - 4 of 4
  • 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
    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
    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.