Towards Automated Design Space Exploration for Safety-Critical Systems Using Type-Annotated Component Fault Trees

Möhrle, Felix; Zeller, Marc; Höfig, Kai; Rothfelder, Martin; Liggesmeyer, Peter

by Felix Möhrle, Marc Zeller, Kai Höfig, Martin Rothfelder, Peter Liggesmeyer

Reference:

F. Möhrle et al., "Towards Automated Design Space Exploration for Safety-Critical Systems Using Type-Annotated Component Fault Trees", in International Symposium on Model-Based Safety and Assessment, Demo Session (IMBSA), 2017.

Bibtex Entry:

@InCollection{moehrle2017variants,
  Title                    = {Towards Automated Design Space Exploration for Safety-Critical Systems Using Type-Annotated Component Fault Trees},

  Author                   = {Möhrle, Felix and Zeller, Marc and Höfig, Kai and Rothfelder, Martin and Liggesmeyer, Peter},
  Booktitle                = {International Symposium on Model-Based Safety and Assessment, Demo Session (IMBSA)},
  Month                    = {Sep},
  Year                     = {2017},

  Keywords                 = {fault tree analysis, safety analysis, compositional systems, component fault trees, design space exploration},
  Owner                    = {moehrle},
  Timestamp                = {2017.09.11},
  Url                      = {http://imbsa2017.fbk.eu/accepted-papers}
}