Login
- Originaltitel:
- smartIflow - A Model Based Approach for Safety Analysis in the Early Product Life Cycle Stages
- Übersetzter Titel:
- smartIflow - Ein modellbasierter Ansatz für die Sicherheitsanalyse im frühen Entwicklungsstadium
- Autor:
- Hönig, Philipp
- Jahr:
- 2025
- Dokumenttyp:
- Dissertation
- Fakultät/School:
- TUM School of Engineering and Design
- Institution:
- Flugsystemdynamik (Prof. Holzapfel)
- Betreuer:
- Holzapfel, Florian (Prof. Dr.)
- Gutachter:
- Holzapfel, Florian (Prof. Dr.); Lunde, Rüdiger (Prof. Dr.)
- Sprache:
- en
- Fachgebiet:
- DAT Datenverarbeitung, Informatik
- Stichworte:
- Model-based safety analysis, Finite-state machines, Model Checking, Temporal logics, CTL, Qualitative analysis
- Übersetzte Stichworte:
- Modellbasierte Sicherheitsanalyse, Endliche Zustandsautomaten, Modellprüfung, Temporale Logik, CTL, Qualitative Analyse
- TU-Systematik:
- VER 500
- Kurzfassung:
- 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.
- Übersetzte Kurzfassung:
- 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
- Eingereicht am:
- 02.05.2024
- Mündliche Prüfung:
- 27.01.2025
- Dateigröße:
- 3953624 bytes
- Seiten:
- 180
- Urn (Zitierfähige URL):
- https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20250127-1740151-0-4
- Letzte Änderung:
- 10.02.2025
BibTeX