Model-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow Models

Zitieren

Dateien zu dieser Ressource

Prüfsumme: MD5:c6273f26ce9a25cd8fdcb293aa11733b

BEER, Adrian, Todor GEORGIEV, Florian LEITNER-FISCHER, Stefan LEUE, 2013. Model-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow Models. Model-Based Development of Embedded Systems, 24. Apr 2013 - 26. Apr 2013. In: GIESE, Holger, ed. and others. MBEES 2013 : Tagungsband des Dagstuhl-Workshops ; Modellbasierte Entwicklung eingebetteter Systeme IX ; Model-Based Development of Embedded Systems ; 24.04.2013 - 26.04.2013. Model-Based Development of Embedded Systems, 24. Apr 2013 - 26. Apr 2013. München:fortiss, pp. 60-69

@inproceedings{Beer2013Model-24493, title={Model-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow Models}, year={2013}, address={München}, publisher={fortiss}, booktitle={MBEES 2013 : Tagungsband des Dagstuhl-Workshops ; Modellbasierte Entwicklung eingebetteter Systeme IX ; Model-Based Development of Embedded Systems ; 24.04.2013 - 26.04.2013}, pages={60--69}, editor={Giese, Holger}, author={Beer, Adrian and Georgiev, Todor and Leitner-Fischer, Florian and Leue, Stefan} }

<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/24493"> <dcterms:title>Model-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow Models</dcterms:title> <dcterms:rights rdf:resource="http://nbn-resolving.org/urn:nbn:de:bsz:352-20140905103605204-4002607-1"/> <dcterms:issued>2013</dcterms:issued> <dc:creator>Leitner-Fischer, Florian</dc:creator> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-09-20T08:12:56Z</dcterms:available> <dc:contributor>Beer, Adrian</dc:contributor> <dcterms:bibliographicCitation>MBEES 2013 : Tagungsband des Dagstuhl-Workshops ; Modellbasierte Entwicklung eingebetteter Systeme IX; Model-Based Development of Embedded Systems; 24.04.2013 - 26.04.2013 / Holger Giese ... - München : fortiss, 2013. - S. 60-69</dcterms:bibliographicCitation> <dc:contributor>Georgiev, Todor</dc:contributor> <dc:creator>Leue, Stefan</dc:creator> <dc:creator>Beer, Adrian</dc:creator> <dc:language>eng</dc:language> <dcterms:abstract xml:lang="eng">In this paper we report on work in progress to extend the QuantUM approach to support the quantitative property analysis of Matlab Simulink / Stateflow models. We propose a translation of Simulink / Stateflow models to CTMCs which can be analyzed using the PRISM model checker inside the QuantUM tool. We also illustrate how the information needed to perform probabilistic analysis of dependability properties can be specified at the level of the Simulink / Stateflow model. We demonstrate the applicability of our approach using a case study taken from the MathWorks examples library.</dcterms:abstract> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-09-20T08:12:56Z</dc:date> <dc:creator>Georgiev, Todor</dc:creator> <dc:contributor>Leitner-Fischer, Florian</dc:contributor> <dc:contributor>Leue, Stefan</dc:contributor> <dc:rights>deposit-license</dc:rights> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/24493"/> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

Beer_244936.pdf 380

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto