Publications

Dieter Fasol, Burkhard Münker, Peter Bunus:

A Model-Based Safety and Dependability Methodology for Missile Safety Engineering

presented at the 33rd International System Safety Conference 2015, San Diego/California:

Model-based methods are becoming more prevalent to support system development processes while in the field of Safety and Dependability (S&D) this adoption is slower. This contribution reports about model based S&D engineering along the V-model from concept to operation phase in an industrial application. …

(for full abstract see conference program, page 33)

Dieter Fasol, Burkhard Münker:

Design for Availability – Flexible System Evaluation with a Model Library of Generic RAMST Blocks

presented at the First European Conference of the Prognostics and Health Management Society, 2012, Dresden/Germany:

“… This contribution reports about an approach of amending a reusa­ble library of functional component models – originally designed to explore the effect of assumed failures in com­plex networks by simulation – and applying it to compute the availability of a generic launcher system. Here the design engineer is faced with the complex task to find an architecture to guarantee a specified availability of the firing function with the given resource items onboard. …” (for full abstract see server of PHM society)

Burkhard Münker:

Paradigm Shift in Safety Assessment – Towards broader usage of physical models (in German)

presented at ASIM 2011, Winterthur/Switzerland:

… Wie gezeigt wird, lassen sich zwar die im Safety-Prozess geforderten Analyse-Ergebnisse entlang des gesamten V-Prozesses direkt aus physikalischen Bauteil-Modellen tool-gestützt ableiten. Ein sanfter Paradigmenwechsel ist aber nur durch parallele Unterstützung verschiedenartiger Wissensdarstellungen in derselben Umgebung zu gewährleisten. So kann der Safety-Ingenieur mittels einer FaultTree-Bibliothek …

Peter Bunus, Olle Isaksson, Beate Frey, Burkhard Münker:

RODON – A Model-Based Diagnosis Approach for the DX Diagnostic Competition

presented at DX2009, Stockholm/Sweden: 

In recent years, model-based diagnostics reasoning systems have provided a major advance in fault isolation and reduction of repair time contributing to the reduction of maintenance cost of automotive and avionics systems. In this paper we highlight the main characteristics of RODON, a commercial model-based diagnostics reasoner, used in the DX Diagnostic Competition.

Bunus, Olle Isaksson, Beate Frey, Burkhard Münker:

Model-based Diagnostics Techniques for Avionics Applications with RODON

presented at AST2009, Hamburg/Germany:

Model-based diagnosis techniques will receive a special attention in this paper and their applicability is illustrated on an aerospace satellite power system from NASA AMES. The paper gives an overview of the model-based diagnosis tool RODON® in which engineering data used in the product development chain is converted into information useful for diagnosis purposes by a process based on mathematical models. We show in what respect the Model Based Diagnostic (MBD), diagnostic trees (DT) are methods of relevance for a complete diagnosis of a system.

Karin Lunde, Rüdiger Lunde, Burkhard Münker:

Model-Based Failure Analysis with RODON

presented at PAIS06/ECAI2006, Riva del Garda/Italy:

The model-based reasoning tool RODON supports engineers in their quest for reliable, well-designed technical products, by providing means to analyze system behavior, especially in case of failure, systematically. Based on a quantitative product model, it offers a wide range of analyses, including reliability analyses such as FMEA and FTA or the generation of diagnostic knowledge such as diagnostic decision trees. An object-oriented modeling language … considerably reduces the modeling effort.