QuantUM : Quantitative Safety Analysis of UML Models


Dateien zu dieser Ressource

Prüfsumme: MD5:06d66a93b40d191772a2c83f5f5dbbbe

LEITNER-FISCHER, Florian, Stefan LEUE, 2011. QuantUM : Quantitative Safety Analysis of UML Models. 9th Workshop on Quantitative Aspects of Programming Languages (QAPL'11). Saarbrücken, Germany, 1. Apr 2011 - 3. Apr 2011. In: Electronic Proceedings in Theoretical Computer Science. 9th Workshop on Quantitative Aspects of Programming Languages (QAPL'11). Saarbrücken, Germany, 1. Apr 2011 - 3. Apr 2011. 57, pp. 16-30. ISSN 2075-2180

@article{Leitner-Fischer2011Quant-13983, title={QuantUM : Quantitative Safety Analysis of UML Models}, year={2011}, doi={10.4204/EPTCS.57.2}, volume={57}, issn={2075-2180}, journal={Electronic Proceedings in Theoretical Computer Science}, pages={16--30}, 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/13983"> <dc:contributor>Leue, Stefan</dc:contributor> <dc:contributor>Leitner-Fischer, Florian</dc:contributor> <dc:rights>deposit-license</dc:rights> <dcterms:bibliographicCitation>First publ. in: Proceedings 9th Workshop on Quantitative Aspects of Programming Languages (QAPL'11), Saarbrücken, Germany, 1-3 April 2011 / Massink, Mieke ... (Eds.). Open Publishing Association, 2011, pp. 16-30 (Electronic Proceedings in Theoretical Computer Science ; 57)</dcterms:bibliographicCitation> <dcterms:title>QuantUM : Quantitative Safety Analysis of UML Models</dcterms:title> <dcterms:issued>2011</dcterms:issued> <dc:creator>Leue, Stefan</dc:creator> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-10-12T10:05:13Z</dcterms:available> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/13983"/> <dc:creator>Leitner-Fischer, Florian</dc:creator> <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. Also, it is necessary that the description methods used do not require a profound knowledge of formal methods. Our approach bridges this gap and improves the integration of quantitative safety analysis methods into the development process. All inputs of the analysis are specified at the level of a UML model. This model is then automatically translated into the analysis model, and the results of the analysis are consequently represented on the level of the UML model. Thus the analysis model and the formal methods used during the analysis are hidden from the user. We illustrate the usefulness of our approach using an industrial strength case study.</dcterms:abstract> <dcterms:rights rdf:resource="http://nbn-resolving.org/urn:nbn:de:bsz:352-20140905103605204-4002607-1"/> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-10-12T10:05:13Z</dc:date> <dc:language>eng</dc:language> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

leitner-fischer_QuantUM.pdf 127

Das Dokument erscheint in:

KOPS Suche


Mein Benutzerkonto