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
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
* Alle Preise verstehen sich inkl. der gesetzlichen MwSt. Lieferung deutschlandweit und nach Österreich versandkostenfrei. Informationen über die Versandkosten ins Ausland finden Sie hier.