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 werden Modellierungstechniken für Fehlverhalten definiert. Zur Erfassung möglicher Fehlverhalten werden potentielle Fehler, die Fehlverhalten verursachen können, vorgegeben. Zu den Fehler-Modellierungstechniken wird der Fehlerzusammenhang formal definiert. Weiter werden für die industriell angewandte FMEA und FTA spezifische Zusammenhangsmodelle formalisiert und Möglichkeiten zur teilautomatisierten Durchführung der Analysen aufgezeigt.     «

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...     »

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. Potential faults that can cause behavioural failures are presented in order to identify potential behavioural failures. Failure-dependencies are formally defined according to the modelling techniques for behavioural failures. Further failure-dependency-models specific for the FMEA and FTA used in industry are formalized. Opportunities to automate FMEA and FTA applying these models are presented.     «

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...     »