KOPS - The Institutional Repository of the University of Konstanz

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

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

Cite This

Files in this item

Checksum: 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, Apr 24, 2013 - Apr 26, 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. 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:dcterms="http://purl.org/dc/terms/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:void="http://rdfs.org/ns/void#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/24493"> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dcterms:title>Model-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow Models</dcterms:title> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/24493/1/Beer_244936.pdf"/> <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> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:creator>Beer, Adrian</dc:creator> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> <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:language>eng</dc:language> <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> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/24493/1/Beer_244936.pdf"/> <dc:contributor>Leue, Stefan</dc:contributor> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/24493"/> <dc:rights>terms-of-use</dc:rights> </rdf:Description> </rdf:RDF>

Downloads since Oct 1, 2014 (Information about access statistics)

Beer_244936.pdf 569

This item appears in the following Collection(s)

Search KOPS


Browse

My Account