Reactive Incremental Fault Tree Analysis (FTA) for Model-Driven Safety Assurance using VIATRA
|
Typ | Masterarbeit |
|---|---|---|
| Aushang | MuhammadMinhas ReactiveFTAs.pdf | |
| Betreuer | Wenden Sie sich bei Interesse oder Fragen bitte an: Muhammad Minhas (E-Mail: muhammad.minhas@kit.edu) |
Motivation Traditional Fault Tree Analysis (FTA) often occurs late in the design process and requires a full recalculation of the Top Event probability whenever a design parameter (like a component failure rate) changes. This is computationally inefficient and hinders Agile development cycles for Cyber-Physical Systems (CPS). This thesis addresses this by integrating a reactive, incremental execution engine into an EMF-based model. By monitoring the model for changes and selectively recalculating only the affected parts of the FTA, the approach ensures real-time feedback on safety compliance and significantly improves the efficiency and utility of Model-Based Safety Analysis (MBSA).
- Tasks
- Extend the RAAML FTA metamodel with executable properties (e.g., probability,calculation triggers).
- Use VIATRA to monitor design model changes and trigger targeted, partial recalculations of FTA probabilities (AND/OR gates).
- Implement the core FTA probabilistic calculation logic in Java, executed on demand by VIATRA.
- Tools/Technology: Java, Eclipse EMF/Ecore, VIATRA, RAAML