Quantitative analysis of UML Models

Cite This

Files in this item

Files Size Format View

There are no files associated with this item.

LEITNER-FISCHER, Florian, Stefan LEUE, 2011. Quantitative analysis of UML Models. Model-Based Development of Embedded Systems, Feb 16, 2011 - Feb 18, 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, pp. 91-100

@inproceedings{LeitnerFischer2011Quant-19340, title={Quantitative analysis of UML Models}, year={2011}, address={München}, publisher={fortiss GmbH}, 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 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/rdf/resource/123456789/19340"> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dcterms:rights rdf:resource="https://kops.uni-konstanz.de/page/termsofuse"/> <dc:contributor>Leitner-Fischer, Florian</dc:contributor> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/19340"/> <dcterms:issued>2011</dcterms:issued> <dcterms:title>Quantitative analysis of UML Models</dcterms:title> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2012-05-23T08:41:00Z</dcterms:available> <dc:creator>Leitner-Fischer, Florian</dc:creator> <dc:creator>Leue, Stefan</dc:creator> <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> <dc:contributor>Leue, Stefan</dc:contributor> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:rights>terms-of-use</dc:rights> <dc:language>eng</dc:language> <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> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2012-05-23T08:41:00Z</dc:date> </rdf:Description> </rdf:RDF>

This item appears in the following Collection(s)

Search KOPS


Browse

My Account