Integration formaler Fehlereinflussanalyse in die Funktionsentwicklung bei der Automobilindustrie

,

• Publisher: Cuvillier Verlag
• Year: 2009
• Print ISBN: 9783867279260
• eBook ISBN: 9783736929265
• Edition: 1

Hohe Anforderungen an die Funktionssicherheit eines Automobils fordern von derEntwicklung ein Vorgehen, bei dem die Einhaltung der Funktionssicherheit überprüftwerden kann. In der Praxis werden zur Verifikation der Funktionssicherheitdie Fehler-Möglichkeits- und Einfluss-Analyse (FMEA) und die Fehlerbaumanalyse(FTA) eingesetzt. Der steigende Anteil präziser formaler Modelle in der Entwicklungermöglicht den steigenden Ansprüchen aus Normen und der Automobilindustriehinsichtlich der Funktionssicherheit gerecht zu werden. Bei geeigneten formalen Modellenkann weiter die Verifikation teilweise automatisiert und so die Qualität derEntwicklung auf einen konstant hohen Stand gebracht werden.Der Schwerpunkt der Arbeit ist der Entwurf formaler Modelle und Modellierungstechnikenmit denen die FMEA und die FTA formal durchgeführt werden Können.Die Modelle und Modellierungstechniken beschreiben das Verhalten der Systemeoder Beziehungen zwischen Systemverhalten. Sie sind für eine Integration mit bestehendenArtefakten der Entwicklung geeignet. Die Verhaltensmodellierung ist an diein der Entwicklung verwendeten Modellierungswerkzeuge, wie SimulinkTM, und an die verwendeten Dokumente der Entwicklung angepasst. Konsistent zur Verhaltensmodellierungwerden Modellierungstechniken für Fehlverhalten definiert. Fehlverhaltenwerden als Modifikationen des Sollverhaltens ausgedrückt. Um die möglichenFehlverhalten eines Systems zu erfassen, werden potentielle Fehler, die Fehlverhaltenverursachen können, vorgegeben. Zu den jeweiligen Modellierungstechniken fürFehler wird allgemein der Begriff des Fehlerzusammenhangs formal definiert. Weiterwerden spezifische in den Methoden FMEA und FTA verwendete Zusammenhängeformalisiert, um eine Automatisierung zu ermöglichen. Abschließend zeigt die ArbeitMöglichkeiten auf, die Durchführung der Analysen zu automatisieren.