Login
- Original title:
- smartIflow - A Model Based Approach for Safety Analysis in the Early Product Life Cycle Stages
- Translated title:
- smartIflow - Ein modellbasierter Ansatz für die Sicherheitsanalyse im frühen Entwicklungsstadium
- Author:
- Hönig, Philipp
- Year:
- 2025
- Document type:
- Dissertation
- Faculty/School:
- TUM School of Engineering and Design
- Institution:
- Flugsystemdynamik (Prof. Holzapfel)
- Advisor:
- Holzapfel, Florian (Prof. Dr.)
- Referee:
- Holzapfel, Florian (Prof. Dr.); Lunde, Rüdiger (Prof. Dr.)
- Language:
- en
- Subject group:
- DAT Datenverarbeitung, Informatik
- Keywords:
- Model-based safety analysis, Finite-state machines, Model Checking, Temporal logics, CTL, Qualitative analysis
- Translated keywords:
- Modellbasierte Sicherheitsanalyse, Endliche Zustandsautomaten, Modellprüfung, Temporale Logik, CTL, Qualitative Analyse
- TUM classification:
- VER 500
- Abstract:
- This thesis presents a new qualitative modeling formalism for the safety analysis of systems in the early development phase. A special feature of the approach is the extreme flexible communication between the components. Furthermore, temporal behavior can be described on an abstract level. The state space of the system models can be automatically verified against a specification, where all relevant counterexamples are generated if the specification is violated.
- Translated abstract:
- Diese Arbeit stellt einen neuen qualitativen Modellierungsformalismus zur Sicherheitsanalyse von Systemen im frühen Entwicklungsstadium vor. Eine Besonderheit des Ansatzes ist die extrem flexible Kommunikation zwischen den Komponenten. Weiterhin kann zeitliches Verhalten auf einer abstrakten Ebene beschrieben werden. Der Zustandsraum der Systemmodelle kann automatisch gegen eine Spezifikation geprüft werden, wobei bei einer Verletzung der Spezifikation alle relevanten Gegenbeispiele bestimmt wer... »
- WWW:
- https://mediatum.ub.tum.de/?id=1740151
- Date of submission:
- 02.05.2024
- Oral examination:
- 27.01.2025
- File size:
- 3953624 bytes
- Pages:
- 180
- Urn (citeable URL):
- https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20250127-1740151-0-4
- Last change:
- 10.02.2025
BibTeX