Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Identifikation und Analyse von sicherheitsbezogenen Komponenten in semi-formalen Modellen

 
: Siebold, Uli
: Thoma, Klaus; Hiermaier, Stefan

:
:

Stuttgart: Fraunhofer Verlag, 2013, 230 S.
Zugl.: Freiburg/Brsg., Univ., Diss., 2013
Schriftenreihe Forschungsergebnisse aus der Kurzzeitdynamik, 24
ISBN: 3-8396-0541-5
ISBN: 978-3-8396-0541-7
Deutsch
Dissertation
Fraunhofer EMI ()
Systementwickler; Sicherheitsingenieur

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

: http://publica.fraunhofer.de/dokumente/N-255172.html