Benutzer: Gast  Login
Mehr Felder
Einfache Suche
Wenn Sie Schwierigkeiten haben, das Dokument zu öffnen, versuchen Sie auch bitte diesen Link
Originaltitel:
Formalization and Model-Driven Support of Functional Safety Analysis
Übersetzter Titel:
Formalisierung und modellgetriebene Unterstützung funktionaler Sicherheitsanalysen
Autor:
Chaari, Moomen
Jahr:
2020
Dokumenttyp:
Dissertation
Fakultät/School:
Fakultät für Elektrotechnik und Informationstechnik
Betreuer:
Ecker, Wolfgang (Prof. Dr.)
Gutachter:
Ecker, Wolfgang (Prof. Dr.); Sigl, Georg (Prof. Dr.)
Sprache:
en
Fachgebiet:
ELT Elektrotechnik
Stichworte:
dependability, safety analysis, functional safety, fault injection, fault simulation
Übersetzte Stichworte:
Zuverlässigkeit, Sicherheitsanalyse, Funktionale Sicherheit, Fehlerinjektion, Fehlersimulation
TU-Systematik:
ELT 272d
Kurzfassung:
A metamodeling approach is applied to formalize conventional safety analysis methods such as "Failure Modes, Effects, and Diagnostic Analysis" (FMEDA). Based on the created metamodels, a manifold environment for model-driven safety analysis is developed. Thereby, several error-prone tasks, traditionally performed manually by safety engineers, are automated. Furthermore, a link between safety analysis and fault simulation is introduced to systematically ensure data consistency and traceability.
Übersetzte Kurzfassung:
Ausgehend von einer metamodellbasierten Formalisierung herkömmlicher Analysemethoden, wie zum Beispiel “Failure Modes, Effects, and Diagnostic Analysis” (FMEDA), wird eine umfangreiche Umgebung für modellgetriebene Sicherheitsanalysen konzipiert und entwickelt. Dadurch werden fehleranfällige manuelle Aufgaben automatisiert. Zudem wird eine Verknüpfung zwischen Sicherheitsanalyse und Fehlereffektsimulation eingeführt, um die Datenkonsistenz und -rückverfolgbarkeit systematisch zu gewährleisten.
WWW:
https://mediatum.ub.tum.de/?id=1398094
Eingereicht am:
05.03.2019
Mündliche Prüfung:
30.01.2020
Dateigröße:
8752622 bytes
Seiten:
236
Urn (Zitierfähige URL):
https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20200130-1398094-1-3
Letzte Änderung:
19.02.2020
 BibTeX