User: Guest  Login
Less Searchfields
Simple search
Original title:
Contributions to Model-Based Safety Assessment
Translated title:
Beiträge zur modellbasierten Sicherheitsanalyse
Author:
Wille, Alexander
Year:
2019
Document type:
Dissertation
Faculty/School:
Fakultät für Maschinenwesen
Advisor:
Holzapfel, Florian (Prof. Dr.)
Referee:
Holzapfel, Florian (Prof. Dr.); Provost, Julien (Prof. Dr.)
Language:
en
Subject group:
MAS Maschinenbau; VER Technik der Verkehrsmittel
Keywords:
Model-based Safety Assessment, Hybrid Systems, Differential-Algebraic Equations, Constraint Satisfaction Problem, Boolean Algebra, Binary Decision Diagrams
Translated keywords:
Modellbasierte Sicherheitsanalyse, Hybride Systeme, Differential-Algebraische Gleichungssysteme, Boolesche Algebra, Binäre Entscheidungsdiagramme
TUM classification:
VER 500d
Abstract:
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.
Translated abstract:
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
Date of submission:
14.01.2019
Oral examination:
01.10.2019
File size:
2149163 bytes
Pages:
120
Urn (citeable URL):
https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20191001-1463135-1-0
Last change:
21.10.2019
 BibTeX