Identifikation und Analyse von sicherheitsbezogenen Komponenten in semi-formalen Modellen

In dieser Arbeit wird ein Verfahren zur Identifikation sicherheitsbezogener Systeme in semi-formalen Modellen entwickelt. Anforderungen an das System werden mittels Zustandsdiagrammen, basierend auf weiteren Diagrammen der SysML, formuliert und mit modelliertem Verhalten verglichen. Maßzahlen bewerten die Bedeutsamkeit einzelner Komponenten. Die Eignung des Verfahrens wird u. a. anhand eines Batteriesystems für Elektrofahrzeuge gezeigt.