Benutzer: Gast  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