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

Lade...
Vorschaubild
Dateien
Beer_244936.pdf
Beer_244936.pdfGröße: 549.03 KBDownloads: 381
Datum
2013
Herausgeber:innen
Kontakt
ISSN der Zeitschrift
Electronic ISSN
ISBN
Bibliografische Daten
Verlag
Schriftenreihe
Auflagebezeichnung
DOI (zitierfähiger Link)
ArXiv-ID
Internationale Patentnummer
Angaben zur Forschungsförderung
Projekt
Open Access-Veröffentlichung
Open Access Green
Core Facility der Universität Konstanz
Gesperrt bis
Titel in einer weiteren Sprache
Forschungsvorhaben
Organisationseinheiten
Zeitschriftenheft
Publikationstyp
Beitrag zu einem Konferenzband
Publikationsstatus
Published
Erschienen 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, 2013, pp. 60-69
Zusammenfassung

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.

Zusammenfassung in einer weiteren Sprache
Fachgebiet (DDC)
004 Informatik
Schlagwörter
Konferenz
Model-Based Development of Embedded Systems, 24. Apr. 2013 - 26. Apr. 2013
Rezension
undefined / . - undefined, undefined
Zitieren
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, 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. München: fortiss, 2013, 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>
Interner Vermerk
xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter
Kontakt
URL der Originalveröffentl.
Prüfdatum der URL
Prüfungsdatum der Dissertation
Finanzierungsart
Kommentar zur Publikation
Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Ja
Begutachtet
Diese Publikation teilen