Quantitative analysis of UML Models

Leitner-Fischer, Florian; Leue, Stefan

Quantitative analysis of UML Models

Dateien

Zu diesem Dokument gibt es keine Dateien.

Datum

2011

Publikationstyp

Beitrag zu einem Konferenzband

unikn.publication.listelement.citation.prefix.version.undefined

GIESE, H., ed. and others. Tagungsband des Dagstuhl-Workshop MBEES : Modellbasierte Entwicklung eingebetteter Systeme VII ; Model-Based Development of Embedded Systems 16.02.2011 - 18.02.2011. München: fortiss GmbH, 2011, pp. 91-100

Zusammenfassung

When developing a safety-critical system it is essential to obtain an assessment of different design alternatives. In particular, an early safety assessment of the architectural design of a system is desirable. In spite of the plethora of available formal quantitative analysis methods it is still difficult for software and system architects to integrate these techniques into their every day work. This is mainly due to the lack of methods that can be directly applied to architecture level models, for instance given as UML diagrams. Our approach bridges this gap and improves the integration of quantitative safety analysis methods into the development process. We propose a UML profile that allows for the specification of all inputs needed for the analysis at the level of a UML model. The QuantUM tool which we have developed, automatically translates an UML model into an analysis model. Furthermore, the results gained from the analysis are lifted to the level of the UML specification or other high-level formalism to further facilitate the process. Thus the analysis model and the formal methods used during the analysis are hidden from the user.

Fachgebiet (DDC)

004 Informatik

Konferenz

Model-Based Development of Embedded Systems, 16. Feb. 2011 - 18. Feb. 2011

Zitieren

ISO 690

LEITNER-FISCHER, Florian, Stefan LEUE, 2011. Quantitative analysis of UML Models. Model-Based Development of Embedded Systems, 16. Feb. 2011 - 18. Feb. 2011. In: GIESE, H., ed. and others. Tagungsband des Dagstuhl-Workshop MBEES : Modellbasierte Entwicklung eingebetteter Systeme VII ; Model-Based Development of Embedded Systems 16.02.2011 - 18.02.2011. München: fortiss GmbH, 2011, pp. 91-100

BibTex

@inproceedings{LeitnerFischer2011Quant-19340,
  year={2011},
  title={Quantitative analysis of UML Models},
  publisher={fortiss GmbH},
  address={München},
  booktitle={Tagungsband des Dagstuhl-Workshop MBEES : Modellbasierte Entwicklung eingebetteter Systeme VII ; Model-Based Development of Embedded Systems 16.02.2011 - 18.02.2011},
  pages={91--100},
  editor={Giese, H.},
  author={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/19340">
    <dc:language>eng</dc:language>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dcterms:abstract xml:lang="eng">When developing a safety-critical system it is essential to obtain an assessment of different design alternatives. In particular, an early safety assessment of the architectural design of a system is desirable. In spite of the plethora of available formal quantitative analysis methods it is still difficult for software and system architects to integrate these techniques into their every day work. This is mainly due to the lack of methods that can be directly applied to architecture level models, for instance given as UML diagrams. Our approach bridges this gap and improves the integration of quantitative safety analysis methods into the development process. We propose a UML profile that allows for the specification of all inputs needed for the analysis at the level of a UML model. The QuantUM tool which we have developed, automatically translates an UML model into an analysis model. Furthermore, the results gained from the analysis are lifted to the level of the UML specification or other high-level formalism to further facilitate the process. Thus the analysis model and the formal methods used during the analysis are hidden from the user.</dcterms:abstract>
    <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/19340"/>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2012-05-23T08:41:00Z</dc:date>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2012-05-23T08:41:00Z</dcterms:available>
    <dc:rights>terms-of-use</dc:rights>
    <dcterms:title>Quantitative analysis of UML Models</dcterms:title>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:creator>Leitner-Fischer, Florian</dc:creator>
    <dc:contributor>Leue, Stefan</dc:contributor>
    <dc:contributor>Leitner-Fischer, Florian</dc:contributor>
    <dc:creator>Leue, Stefan</dc:creator>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <dcterms:bibliographicCitation>Publ. in: Tagungsband des Dagstuhl-Workshop MBEES : Modellbasierte Entwicklung eingebetteter Systeme VII ; Model-Based Development of Embedded Systems 16.02.2011 – 18.02.2011 / H. Giese... (Hrsg.). - München : fortiss GmbH, 2011. - S. 91-100</dcterms:bibliographicCitation>
    <dcterms:issued>2011</dcterms:issued>
  </rdf:Description>
</rdf:RDF>

Universitätsbibliographie

Ja