Buch: Identifikation und Analyse von sicherheitsbezogenen Komponenten in semi-formalen Modellen
Identifikation und Analyse von sicherheitsbezogenen Komponenten in semi-formalen Modellen
Schriftenreihe Forschungsergebnisse aus der Kurzzeitdynamik, Band 24
Uli Siebold
Hrsg.: Klaus Thoma, Stefan Hiermaier; Fraunhofer EMI, Freiburg/Brsg.
2013, 230 S., zahlr. Abb. u. Tab., Softcover
Freiburg, Univ., Diss., 2013
Fraunhofer Verlag
ISBN 978-3-8396-0541-7

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

Verfügbare Formate

Softcover
EUR 58.00 (* inkl. MwSt.)
Sofort lieferbar

Publikationslisten zum Thema:
Fraunhofer EMI, Systementwickler, Sicherheitsingenieur,

 

* Alle Preise verstehen sich inkl. der gesetzlichen MwSt. Lieferung deutschlandweit und nach Österreich versandkostenfrei. Informationen über die Versandkosten ins Ausland finden Sie hier.