Benutzer: Gast  Login
Mehr Felder
Einfache Suche
Originaltitel:
Contributions to Model-Based Safety Assessment
Übersetzter Titel:
Beiträge zur modellbasierten Sicherheitsanalyse
Autor:
Wille, Alexander
Jahr:
2019
Dokumenttyp:
Dissertation
Fakultät/School:
Fakultät für Maschinenwesen
Betreuer:
Holzapfel, Florian (Prof. Dr.)
Gutachter:
Holzapfel, Florian (Prof. Dr.); Provost, Julien (Prof. Dr.)
Sprache:
en
Fachgebiet:
MAS Maschinenbau; VER Technik der Verkehrsmittel
Stichworte:
Model-based Safety Assessment, Hybrid Systems, Differential-Algebraic Equations, Constraint Satisfaction Problem, Boolean Algebra, Binary Decision Diagrams
Übersetzte Stichworte:
Modellbasierte Sicherheitsanalyse, Hybride Systeme, Differential-Algebraische Gleichungssysteme, Boolesche Algebra, Binäre Entscheidungsdiagramme
TU-Systematik:
VER 500d
Kurzfassung:
This thesis makes three contributions to model-based safety assessment: The first contribution is an operational semantics for modeling failure behavior as hybrid systems that is conceptually ready for practical application. The second one is a canonical form for fault trees that have the same characteristic function and an algorithm for exploring their logics efficiently in fault tree validation and generation. The third is an annotation to behavioral models for fault tree generation.
Übersetzte Kurzfassung:
Diese Arbeit leistet drei Beiträge zur modellbasierten Sicherheitsanalyse. Der erste ist eine Verhaltensbeschreibung für Ausfallverhalten als hybrid system, die konzeptuell bereit für die praktische Anwendung ist. Die zweite ist eine kanonische Form für Fehlerbäume mit der gleichen charakteristischen Funktion sowie ein Algorithmus für deren effiziente Untersuchung in Fehlerbaumvalidierung und -generierung. Der dritte ist eine Annotation für verhaltensorientierte Modelle für die Fehlerbaumgenerie...     »
WWW:
https://mediatum.ub.tum.de/?id=1463135
Eingereicht am:
14.01.2019
Mündliche Prüfung:
01.10.2019
Dateigröße:
2149163 bytes
Seiten:
120
Urn (Zitierfähige URL):
https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20191001-1463135-1-0
Letzte Änderung:
21.10.2019
 BibTeX