<?xml version="1.0" encoding="utf-8"?>
<export-example>
  <doc>
    <id>1039</id>
    <completedYear>2017</completedYear>
    <publishedYear/>
    <thesisYearAccepted/>
    <language>eng</language>
    <pageFirst/>
    <pageLast/>
    <pageNumber/>
    <edition/>
    <issue/>
    <volume/>
    <type>conferenceobject</type>
    <publisherName/>
    <publisherPlace/>
    <creatingCorporation/>
    <contributingCorporation/>
    <belongsToBibliography>0</belongsToBibliography>
    <completedDate>--</completedDate>
    <publishedDate>--</publishedDate>
    <thesisDateAccepted>--</thesisDateAccepted>
    <title language="eng">A Formal Approach for Automating Compositional Safety Analysis Using Flow Type Annotations In Component Fault Trees</title>
    <abstract language="eng">Safety assurance is a major challenge in the design of modern embedded systems that has become increasingly diﬃcult in recent years. Growing system sizes and the rise of Cyber-Physical systems confront safety engineers with large sets of conﬁgurations to be analyzed. Current approaches are usually carried out at design time and do not address the need for automated assessments in the ﬁeld. With Component Fault Trees (CFTs) there exists a component-based methodology that enables an eﬃcient modular composition of safety artifacts. The combined model is a system-level CFT that can be analyzed by means of popular Fault Tree Analysis techniques that are widely accepted in the industry. However, when composing models, their interfacing elements must be connected manually which impedes the automation of the procedure. In this work, we introduce the notion of ﬂow types that represent a particular kind of component interaction and deﬁne a taxonomy of related failure behavior. By annotating CFTs with types, a machine-readable vocabulary is provided that allows for an automated interconnection of their interfaces. This way, the automatic composition of models according to system architecture is enabled, allowing for automated safety assessments on system-level. We demonstrate the feasibility of our approach using an example ethylene vaporization unit.</abstract>
    <parentTitle language="eng">Proceedings of the 27th European Safety and Reliability Conference (ESREL): Safety and Reliability – Theory and Applications., Portorož, Slovenia: Taylor &amp; Francis (CRC Press).</parentTitle>
    <author>Felix Möhrle</author>
    <author>Kai Bizik</author>
    <author>Marc Zeller</author>
    <author>Kai Höfig</author>
    <author>Martin Rothfelder</author>
    <author>Peter Liggesmeyer</author>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>Compositional safety analysis</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>Flow type annotations</value>
    </subject>
    <subject>
      <language>eng</language>
      <type>uncontrolled</type>
      <value>CFT</value>
    </subject>
    <collection role="ddc" number="000">Informatik, Informationswissenschaft, allgemeine Werke</collection>
    <collection role="institutes" number="">Fakultät für Informatik</collection>
    <thesisPublisher>Technische Hochschule Rosenheim</thesisPublisher>
  </doc>
</export-example>
