Analysis of an Airport Surveillance Radar using the QuantUM approach

Publikationstyp: Working Paper/Technical Report
URI (zitierfähiger Link): http://nbn-resolving.de/urn:nbn:de:bsz:352-212538
Autor/innen: Beer, Adrian; Kühne, Uwe; Leitner-Fischer, Florian; Leue, Stefan; Prem, Rüdiger
Erscheinungsjahr: 2012
Schriftenreihe: Technical Report, Chair for Software Engineering, University of Konstanz ; soft-12-01
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.
Fachgebiet (DDC): 004 Informatik
Link zur Lizenz: Deposit-Lizenz
Universitätsbibliographie: Ja

Zitieren

Dateien zu dieser Ressource

[PDF]
Name: Beer_212538.pdf
Größe: 1.638Mb
Format: PDF
Öffnen
Prüfsumme: MD5:60a0a484a3ed7fcb2ffc417b115c5127

BEER, Adrian, Uwe KÜHNE, Florian LEITNER-FISCHER, Stefan LEUE, Rüdiger PREM, 2012. Analysis of an Airport Surveillance Radar using the QuantUM approach

@techreport{Beer2012Analy-21253, series={Technical Report, Chair for Software Engineering, University of Konstanz ; soft-12-01}, title={Analysis of an Airport Surveillance Radar using the QuantUM approach}, year={2012}, author={Beer, Adrian and Kühne, Uwe and Leitner-Fischer, Florian and Leue, Stefan and Prem, Rüdiger} }

<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/21253"> <dcterms:issued>2012</dcterms:issued> <dcterms:rights rdf:resource="http://nbn-resolving.org/urn:nbn:de:bsz:352-20140905103605204-4002607-1"/> <dc:creator>Leue, Stefan</dc:creator> <dc:contributor>Leitner-Fischer, Florian</dc:contributor> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-01-30T09:50:30Z</dcterms:available> <dc:contributor>Beer, Adrian</dc:contributor> <dc:contributor>Prem, Rüdiger</dc:contributor> <dc:creator>Beer, Adrian</dc:creator> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-01-30T09:50:30Z</dc:date> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/21253"/> <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> <dc:rights>deposit-license</dc:rights> <dc:contributor>Kühne, Uwe</dc:contributor> <dc:creator>Leitner-Fischer, Florian</dc:creator> <dc:language>eng</dc:language> <dc:creator>Kühne, Uwe</dc:creator> <dc:contributor>Leue, Stefan</dc:contributor> <dcterms:title>Analysis of an Airport Surveillance Radar using the QuantUM approach</dcterms:title> <dc:creator>Prem, Rüdiger</dc:creator> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

Beer_212538.pdf 79

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto