Publikation: Model-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow Models
Lade...
Dateien
Datum
2013
Herausgeber:innen
ISSN der Zeitschrift
Electronic ISSN
ISBN
Bibliografische Daten
Verlag
Schriftenreihe
Auflagebezeichnung
URI (zitierfähiger Link)
Internationale Patentnummer
Link zur Lizenz
Angaben zur Forschungsförderung
Projekt
Open Access-Veröffentlichung
Open Access Green
Core Facility der Universität Konstanz
Titel in einer weiteren Sprache
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 690
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. München: fortiss, 2013, pp. 60-69BibTex
@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
Prüfungsdatum der Dissertation
Finanzierungsart
Kommentar zur Publikation
Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Ja
