Aufgrund von Vorbereitungen auf eine neue Version von KOPS, können kommenden Montag und Dienstag keine Publikationen eingereicht werden. (Due to preparations for a new version of KOPS, no publications can be submitted next Monday and Tuesday.)
Type of Publication: | Diploma thesis |
URI (citable link): | http://nbn-resolving.de/urn:nbn:de:bsz:352-opus-125206 |
Author: | Leitner-Fischer, Florian |
Year of publication: | 2010 |
Summary: |
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.
|
CCS Classification: | D.2.4; B.8 |
Subject (DDC): | 004 Computer Science |
Controlled Keywords (GND): | UML, Sicherheitsanalyse, Probabilistische Sicherheitsanalyse |
Keywords: | Safety Analysis, Functional Safety, Quantitative Analysis, Probabilistic Model Checking |
Link to License: | In Copyright |
Bibliography of Konstanz: | Yes |
LEITNER-FISCHER, Florian, 2010. Quantitative Safety Analysis of UML Models [Master thesis]
@mastersthesis{LeitnerFischer2010Quant-6016, title={Quantitative Safety Analysis of UML Models}, year={2010}, author={Leitner-Fischer, Florian} }
<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/6016"> <dc:rights>terms-of-use</dc:rights> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:format>application/pdf</dc:format> <dc:creator>Leitner-Fischer, Florian</dc:creator> <dcterms:issued>2010</dcterms:issued> <dc:language>eng</dc:language> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/6016/1/Master_LeitnerFischer.pdf"/> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/6016/1/Master_LeitnerFischer.pdf"/> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T16:08:46Z</dc:date> <dc:contributor>Leitner-Fischer, Florian</dc:contributor> <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> <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> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/6016"/> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> </rdf:Description> </rdf:RDF>
Master_LeitnerFischer.pdf | 1036 |