Quantitative Safety Analysis of UML Models

Thumbnail Image
Files
Master_LeitnerFischer.pdf(1.8 MB)
Date
2010
Authors
Editors
Contact
Journal ISSN
Electronic ISSN
ISBN
Bibliographical data
Publisher
Series
URI (citable link)
urn:nbn:de:bsz:352-opus-125206
DOI (citable link)
ArXiv-ID
International patent number
Link to the license
In Copyright
EU project number
Project
Open Access publication
Collections
Informatik und Informationswissenschaft
Restricted until
Title in another language
Research Projects
Organizational Units
Journal Issue
Publication type
Diploma thesis
Publication status
Published in
Abstract
Bei der Entwicklung sicherheits-kritischer Systeme, ist die Bewertung von verschiedenen Entwurfsalternativen von großer Bedeutung. Eine solche Bewertung ist in den frühen Entwicklungsphasen eines Systems besonders hilfreich. Trotz der großen Anzahl vorhandener Methoden zur formalen quantitativen Analyse, ist es für System- und Software-Architekten immer noch schwierig diese in ihrer tägliche Arbeit anzuwenden. Dieser Umstand lässt sich vor allem auf das Fehlen von Methoden, welche man direkt auf die Architekturmodelle anwenden kann, zurückführen. Ein weiterer Hinderungsgrund ist, dass die Methoden sehr häufig ein tiefgreifendes Verständnis von formalen Methoden fordern welches in der industriellen Praxis kaum zu finden ist. Unser Ansatz schließt diese Lücke und verbessert die Integration von Methoden zur quantitativen Sicherheitsanalyse in den Entwicklungsprozess. Wir schlagen ein UML Profil vor, welches die Spezifikation von allen Eingangsgrößen, welche für die Analyse benötigt werden, auf der Ebene des UML Modells ermöglicht. Die von uns entwickelte QuantUM Software übersetzt das UML Modell automatisch in das Analyse-Modell. Außerdem, werden die durch die Analyse gewonnen Ergebnisse auf die Ebene der UML Spezifikation gehoben um den Prozess weiter zu unterstützen. Demzufolge wird die Analyse-Ebene, welche das Analyse Modell und die verwendeten formalen Methoden einschließt, vom Benutzer verborgen.
Summary in another language
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. Another obstacle is, that the methods often require a profound knowledge of formal methods, which can rarely be found in industrial practice. 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.
Subject (DDC)
004 Computer Science
Keywords
Safety Analysis,Functional Safety,Quantitative Analysis,Probabilistic Model Checking
Conference
Review
undefined / . - undefined, undefined. - (undefined; undefined)
Cite This
ISO 690LEITNER-FISCHER, Florian, 2010. Quantitative Safety Analysis of UML Models [Master thesis]
BibTex
@mastersthesis{LeitnerFischer2010Quant-6016,
  year={2010},
  title={Quantitative Safety Analysis of UML Models},
  author={Leitner-Fischer, Florian}
}
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/6016">
    <dcterms:abstract xml:lang="deu">Bei der Entwicklung sicherheits-kritischer Systeme, ist die Bewertung von verschiedenen Entwurfsalternativen von großer Bedeutung. Eine solche Bewertung ist in den frühen Entwicklungsphasen eines Systems besonders hilfreich. Trotz der großen Anzahl vorhandener Methoden zur formalen quantitativen Analyse, ist es für System- und Software-Architekten immer noch schwierig diese in ihrer tägliche Arbeit anzuwenden. Dieser Umstand lässt sich vor allem auf das Fehlen von Methoden, welche man direkt auf die Architekturmodelle anwenden kann, zurückführen. Ein weiterer Hinderungsgrund ist, dass die Methoden sehr häufig ein tiefgreifendes Verständnis von formalen Methoden fordern welches in der industriellen Praxis kaum zu finden ist. Unser Ansatz schließt diese Lücke und verbessert die Integration von Methoden zur quantitativen Sicherheitsanalyse in den Entwicklungsprozess. Wir schlagen ein UML Profil vor, welches die Spezifikation von allen Eingangsgrößen, welche für die Analyse benötigt werden, auf der Ebene des UML Modells ermöglicht. Die von uns entwickelte QuantUM Software übersetzt das UML Modell automatisch in das Analyse-Modell. Außerdem, werden die durch die Analyse gewonnen Ergebnisse auf die Ebene der UML Spezifikation gehoben um den Prozess weiter zu unterstützen. Demzufolge wird die Analyse-Ebene, welche das Analyse Modell und die verwendeten formalen Methoden einschließt, vom Benutzer verborgen.</dcterms:abstract>
    <dc:language>eng</dc:language>
    <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/6016"/>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/6016/1/Master_LeitnerFischer.pdf"/>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/6016/1/Master_LeitnerFischer.pdf"/>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T16:08:46Z</dc:date>
    <dc:creator>Leitner-Fischer, Florian</dc:creator>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T16:08:46Z</dcterms:available>
    <dcterms:title>Quantitative Safety Analysis of UML Models</dcterms:title>
    <dc:rights>terms-of-use</dc:rights>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:contributor>Leitner-Fischer, Florian</dc:contributor>
    <dcterms:issued>2010</dcterms:issued>
    <dc:format>application/pdf</dc:format>
  </rdf:Description>
</rdf:RDF>
Internal note
xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter
Contact
URL of original publication
Test date of URL
Examination date of dissertation
Method of financing
Comment on publication
Alliance license
Corresponding Authors der Uni Konstanz vorhanden
International Co-Authors
Bibliography of Konstanz
Yes
Refereed