Publikation: Analysis of an Airport Surveillance Radar using the QuantUM approach
Lade...
Dateien
Datum
2012
Autor:innen
Herausgeber:innen
ISSN der Zeitschrift
Electronic ISSN
ISBN
Bibliografische Daten
Verlag
Schriftenreihe
Technical Report, Chair for Software Engineering, University of Konstanz ; soft-12-01
Auflagebezeichnung
URI (zitierfähiger Link)
Internationale Patentnummer
Link zur Lizenz
Angaben zur Forschungsförderung
Projekt
Open Access-Veröffentlichung
Open Access Green
Core Facility der Universität Konstanz
Titel in einer weiteren Sprache
Publikationstyp
Working Paper/Technical Report
Publikationsstatus
Published
Erschienen in
Zusammenfassung
We report on the modeling and formal analysis of reliability requirements in the context of an Airport Surveillance Radar system using SysML and probabilistic model checking. The system is modeled using the QuantUM modeling tool which uses the PRISM model checker as an analysis back-end. We illustrate how a complex system architecture can be modeled, what challenges have to be addressed when performing the automated property verification, and to what extent the presented automated analysis method can support the system engineering. We expect that the use of these methods will also have a strong impact on the certification process in future.
Zusammenfassung in einer weiteren Sprache
Fachgebiet (DDC)
004 Informatik
Schlagwörter
Konferenz
Rezension
undefined / . - undefined, undefined
Zitieren
ISO 690
BEER, Adrian, Uwe KÜHNE, Florian LEITNER-FISCHER, Stefan LEUE, Rüdiger PREM, 2012. Analysis of an Airport Surveillance Radar using the QuantUM approachBibTex
@techreport{Beer2012Analy-21253,
year={2012},
series={Technical Report, Chair for Software Engineering, University of Konstanz ; soft-12-01},
title={Analysis of an Airport Surveillance Radar using the QuantUM approach},
author={Beer, Adrian and Kühne, Uwe and Leitner-Fischer, Florian and Leue, Stefan and Prem, Rüdiger}
}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/21253">
<dc:rights>terms-of-use</dc:rights>
<dc:contributor>Leue, Stefan</dc:contributor>
<bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/21253"/>
<dc:contributor>Leitner-Fischer, Florian</dc:contributor>
<foaf:homepage rdf:resource="http://localhost:8080/"/>
<dc:creator>Prem, Rüdiger</dc:creator>
<dc:contributor>Beer, Adrian</dc:contributor>
<dc:creator>Kühne, Uwe</dc:creator>
<dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
<dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-01-30T09:50:30Z</dc:date>
<dc:contributor>Prem, Rüdiger</dc:contributor>
<dc:language>eng</dc:language>
<dcterms:issued>2012</dcterms:issued>
<dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
<void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
<dcterms:title>Analysis of an Airport Surveillance Radar using the QuantUM approach</dcterms:title>
<dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-01-30T09:50:30Z</dcterms:available>
<dc:creator>Beer, Adrian</dc:creator>
<dc:creator>Leue, Stefan</dc:creator>
<dc:creator>Leitner-Fischer, Florian</dc:creator>
<dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/21253/2/Beer_212538.pdf"/>
<dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
<dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/21253/2/Beer_212538.pdf"/>
<dc:contributor>Kühne, Uwe</dc:contributor>
<dcterms:abstract xml:lang="eng">We report on the modeling and formal analysis of reliability requirements in the context of an Airport Surveillance Radar system using SysML and probabilistic model checking. The system is modeled using the QuantUM modeling tool which uses the PRISM model checker as an analysis back-end. We illustrate how a complex system architecture can be modeled, what challenges have to be addressed when performing the automated property verification, and to what extent the presented automated analysis method can support the system engineering. We expect that the use of these methods will also have a strong impact on the certification process in future.</dcterms:abstract>
</rdf:Description>
</rdf:RDF>Interner Vermerk
xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter
Prüfungsdatum der Dissertation
Finanzierungsart
Kommentar zur Publikation
Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Ja
