Benutzer: Gast  Login
Originaltitel:
Integration formaler Fehlereinflussanalyse in die Funktionsentwicklung bei der Automobilindustrie 
Übersetzter Titel:
Integration of Formal Fault Effect Analysis into Automotive Function Development 
Jahr:
2009 
Dokumenttyp:
Dissertation 
Institution:
Fakultät für Informatik 
Betreuer:
Broy, Manfred (Prof. Dr. Dr. h.c.) 
Gutachter:
Broy, Manfred (Prof. Dr. Dr. h.c.); Heißing, Bernd (Prof. Dr.) 
Sprache:
de 
Fachgebiet:
DAT Datenverarbeitung, Informatik 
Stichworte:
formale Methoden, Fehlermodellierung, Fehlereinflussanalyse, FMEA 
Übersetzte Stichworte:
formal methods, failure modelling, fault effect analysis, FMEA 
Kurzfassung:
Kern der Arbeit ist der Entwurf formaler Modelle und Modellierungstechniken mit denen eine funktionale FMEA (Failure-Mode-Effect-Analysis) und FTA (Fault-Tree-Analysis) formal durchführbar ist. Die Modelle und Modellierungstechniken beschreiben Systemverhalten oder Verhaltensbeziehungen. Sie sind mit bestehenden Entwicklungsartefakten integrierbar. Die Verhaltensmodellierung ist an in der Entwicklung verwendete Modellierungswerkzeuge und Dokumente angepasst. Konsistent zur Verhaltensmodellierung...    »
 
Übersetzte Kurzfassung:
We present formal models and modelling techniques to perform a functional and formal FMEA (Failure-Mode-Effect-Analysis) and FTA (Fault-Tree-Analysis). The models and modelling techniques are used to describe system behaviour or dependencies between system behaviours. The modelling of behaviour is designed for an integration with modelling tools and documents used in current industrial development. Models for behavioural failures are defined consistent to the models for system behaviour. Potenti...    »
 
Mündliche Prüfung:
08.01.2009 
Seiten:
268 
Letzte Änderung:
12.02.2009