Quantitative analysis of UML Models

Zitieren

Dateien zu dieser Ressource

Dateien Größe Format Anzeige

Zu diesem Dokument gibt es keine Dateien.

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. Model-Based Development of Embedded Systems, 16. Feb 2011 - 18. Feb 2011. München:fortiss GmbH, pp. 91-100

@inproceedings{Leitner-Fischer2011Quant-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:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/19340"> <dc:contributor>Leitner-Fischer, Florian</dc:contributor> <dcterms:issued>2011</dcterms:issued> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/19340"/> <dcterms:title>Quantitative analysis of UML Models</dcterms:title> <dcterms:rights rdf:resource="http://nbn-resolving.org/urn:nbn:de:bsz:352-20140905103605204-4002607-1"/> <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:contributor>Leue, Stefan</dc:contributor> <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:creator>Leue, Stefan</dc:creator> <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:rights>deposit-license</dc:rights> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2012-05-23T08:41:00Z</dc:date> </rdf:Description> </rdf:RDF>

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto