Formalization and Model-Driven Support of Functional Safety Analysis

Chaari, Moomen

Entwurfsautomatisierung (Prof. Schlichtmann)

Back
Back to start of result list
Permanent link for displayed object

If you experience problems opening the document, please try this link.

Original title:: Formalization and Model-Driven Support of Functional Safety Analysis
Translated title:: Formalisierung und modellgetriebene Unterstützung funktionaler Sicherheitsanalysen
Author:: Chaari, Moomen
Year:: 2020
Document type:: Dissertation
Faculty/School:: Fakultät für Elektrotechnik und Informationstechnik
Advisor:: Ecker, Wolfgang (Prof. Dr.)
Referee:: Ecker, Wolfgang (Prof. Dr.); Sigl, Georg (Prof. Dr.)
Language:: en
Subject group:: ELT Elektrotechnik
Keywords:: dependability, safety analysis, functional safety, fault injection, fault simulation
Translated keywords:: Zuverlässigkeit, Sicherheitsanalyse, Funktionale Sicherheit, Fehlerinjektion, Fehlersimulation
TUM classification:: ELT 272d
Abstract:: 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.
Translated abstract:: 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
Date of submission:: 05.03.2019
Oral examination:: 30.01.2020
File size:: 8752622 bytes
Pages:: 236
Urn (citeable URL):: https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20200130-1398094-1-3
Last change:: 19.02.2020
BibTeX