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

Thumbnail Image
Files
Beer_244936.pdf(549.03 KB)
Date
2013
Authors
Editors
Contact
Journal ISSN
Electronic ISSN
ISBN
Bibliographical data
Publisher
Series
URI (citable link)
urn:nbn:de:bsz:352-244936
DOI (citable link)
ArXiv-ID
International patent number
Link to the license
In Copyright
EU project number
Project
Open Access publication
Collections
Informatik und Informationswissenschaft
Restricted until
Title in another language
Research Projects
Organizational Units
Journal Issue
Publication type
Contribution to a conference collection
Publication status
Published in
MBEES 2013 : Tagungsband des Dagstuhl-Workshops ; Modellbasierte Entwicklung eingebetteter Systeme IX ; Model-Based Development of Embedded Systems ; 24.04.2013 - 26.04.2013 / Giese, Holger et al. (ed.). - München : fortiss, 2013. - pp. 60-69
Abstract
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.
Summary in another language
Subject (DDC)
004 Computer Science
Keywords
Conference
Model-Based Development of Embedded Systems, Apr 24, 2013 - Apr 26, 2013
Review
undefined / . - undefined, undefined. - (undefined; undefined)
Cite This
ISO 690BEER, 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
BibTex
@inproceedings{Beer2013Model-24493,
  year={2013},
  title={Model-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow Models},
  publisher={fortiss},
  address={München},
  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: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/server/rdf/resource/123456789/24493">
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/24493/1/Beer_244936.pdf"/>
    <dc:creator>Leue, Stefan</dc:creator>
    <dc:contributor>Beer, Adrian</dc:contributor>
    <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/24493"/>
    <dc:language>eng</dc:language>
    <dcterms:issued>2013</dcterms:issued>
    <dc:contributor>Georgiev, Todor</dc:contributor>
    <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:contributor>Leitner-Fischer, Florian</dc:contributor>
    <dc:creator>Leitner-Fischer, Florian</dc:creator>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/24493/1/Beer_244936.pdf"/>
    <dc:creator>Georgiev, Todor</dc:creator>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-09-20T08:12:56Z</dcterms:available>
    <dc:rights>terms-of-use</dc:rights>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-09-20T08:12:56Z</dc:date>
    <dc:contributor>Leue, Stefan</dc:contributor>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:creator>Beer, Adrian</dc:creator>
    <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>
    <dcterms:title>Model-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow Models</dcterms:title>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
  </rdf:Description>
</rdf:RDF>
Internal note
xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter
Contact
URL of original publication
Test date of URL
Examination date of dissertation
Method of financing
Comment on publication
Alliance license
Corresponding Authors der Uni Konstanz vorhanden
International Co-Authors
Bibliography of Konstanz
Yes
Refereed