Below please find some directly or indirectly supported 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; or download full paper here)
- 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 reusable library of functional component models – originally designed to explore the effect of assumed failures in complex 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 or articles and blog post series here)
- 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.“
- Peter 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 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.“