Publikation:

Quantitative Safety Analysis of Non-Deterministic System Architectures

Vorschaubild

Dateien

Beer_245272.pdf
Beer_245272.pdfGröße: 701.65 KBDownloads: 103

Datum

2013

Autor:innen

Kühne, Uwe
Prem, Rüdiger

Herausgeber:innen

Kontakt

ISSN der Zeitschrift

Electronic ISSN

ISBN

Bibliografische Daten

Verlag

Schriftenreihe

Technical Report, Chair for Software Engineering, University of Konstanz ; soft-13-02

Auflagebezeichnung

URI (zitierfähiger Link)
http://nbn-resolving.de/urn:nbn:de:bsz:352-245272
DOI (zitierfähiger Link)
ArXiv-ID

Internationale Patentnummer

Link zur Lizenz
Urheberrechtlich geschützt

Angaben zur Forschungsförderung

Projekt

Open Access-Veröffentlichung
Open Access Green

Sammlungen

Informatik und Informationswissenschaft: Publikationen
Core Facility der Universität Konstanz

Gesperrt bis

Titel in einer weiteren Sprache

Publikationstyp
Working Paper/Technical Report
Publikationsstatus
Published

Erschienen in

Zusammenfassung

The QuantUM modeling framework and analysis tool, which allows for the analysis of quantitative aspects of system architectures modeled in UML / SysML, does not o er an adequate treatment of nondeterminism. We present an extension of the QuantUM approach based on an interpretation of QuantUM models as Markov Decision processes so that non-determinism in these models is semantically interpreted in an appropriate way. We show that the formal semantic interpretation of the UML / SysML models that we propose coincides with the code generation semantics for a widely used UML / SysML CASE tool. We evaluate the proposed approach by applying it to two industrial strength case studies, an Airport Surveillance Radar system and an Airbag Control Unit.

Zusammenfassung in einer weiteren Sprache

Fachgebiet (DDC)
004 Informatik

Schlagwörter

Konferenz

Rezension
undefined / . - undefined, undefined

Forschungsvorhaben

Organisationseinheiten

Zeitschriftenheft

Zugehörige Datensätze in KOPS

Zitieren

ISO 690BEER, Adrian, Uwe KÜHNE, Florian LEITNER-FISCHER, Stefan LEUE, Rüdiger PREM, 2013. Quantitative Safety Analysis of Non-Deterministic System Architectures
BibTex
@techreport{Beer2013Quant-24527,
  year={2013},
  series={Technical Report, Chair for Software Engineering, University of Konstanz ; soft-13-02},
  title={Quantitative Safety Analysis of Non-Deterministic System Architectures},
  author={Beer, Adrian and Kühne, Uwe and Leitner-Fischer, Florian and Leue, Stefan and Prem, Rüdiger}
}
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/24527">
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <dc:creator>Leitner-Fischer, Florian</dc:creator>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/24527/2/Beer_245272.pdf"/>
    <dc:contributor>Kühne, Uwe</dc:contributor>
    <dc:creator>Kühne, Uwe</dc:creator>
    <dc:language>eng</dc:language>
    <dc:contributor>Leue, Stefan</dc:contributor>
    <dcterms:issued>2013</dcterms:issued>
    <dc:creator>Beer, Adrian</dc:creator>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dc:creator>Leue, Stefan</dc:creator>
    <dcterms:abstract xml:lang="eng">The QuantUM modeling framework and analysis tool, which allows for the analysis of quantitative aspects of system architectures modeled in UML / SysML, does not o er an adequate treatment of nondeterminism. We present an extension of the QuantUM approach based on an interpretation of QuantUM models as Markov Decision processes so that non-determinism in these models is semantically interpreted in an appropriate way. We show that the formal semantic interpretation of the UML / SysML models that we propose coincides with the code generation semantics for a widely used UML / SysML CASE tool. We evaluate the proposed approach by applying it to two industrial strength case studies, an Airport Surveillance Radar system and an Airbag Control Unit.</dcterms:abstract>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/24527"/>
    <dc:creator>Prem, Rüdiger</dc:creator>
    <dc:contributor>Leitner-Fischer, Florian</dc:contributor>
    <dc:contributor>Beer, Adrian</dc:contributor>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-10-09T07:01:03Z</dcterms:available>
    <dc:rights>terms-of-use</dc:rights>
    <dc:contributor>Prem, Rüdiger</dc:contributor>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dcterms:title>Quantitative Safety Analysis of Non-Deterministic System Architectures</dcterms:title>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-10-09T07:01:03Z</dc:date>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/24527/2/Beer_245272.pdf"/>
  </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