User: Guest  Login
Original title:
Integration formaler Fehlereinflussanalyse in die Funktionsentwicklung bei der Automobilindustrie 
Translated title:
Integration of Formal Fault Effect Analysis into Automotive Function Development 
Year:
2009 
Document type:
Dissertation 
Institution:
Fakultät für Informatik 
Advisor:
Broy, Manfred (Prof. Dr. Dr. h.c.) 
Referee:
Broy, Manfred (Prof. Dr. Dr. h.c.); Heißing, Bernd (Prof. Dr.) 
Language:
de 
Subject group:
DAT Datenverarbeitung, Informatik 
Keywords:
formale Methoden, Fehlermodellierung, Fehlereinflussanalyse, FMEA 
Translated keywords:
formal methods, failure modelling, fault effect analysis, FMEA 
Abstract:
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...    »
 
Translated abstract:
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...    »
 
Oral examination:
08.01.2009 
Pages:
268 
Last change:
12.02.2009