KOPS - Das Institutionelle Repositorium der Universität Konstanz

Probabilistic verification of Architectural software models using SoftArc and Prism

Probabilistic verification of Architectural software models using SoftArc and Prism

Zitieren

Dateien zu dieser Ressource

Prüfsumme: MD5:f7d87c80d3ee6abb1edc196c479a4623

HAVERKORT, Boudewijn R., Matthias KUNTZ, Florian LEITNER-FISCHER, Anne REMKE, Stephan ROOLVINK, 2010. Probabilistic verification of Architectural software models using SoftArc and Prism. ESREL. Island of Rhodes, 5. Sep 2010 - 9. Sep 2010. In: ALE, Ben J. M., ed. and others. Reliability, risk and safety : back to the future ; ESREL (European Safety and Reliability) … annual conference ; Island of Rhodes, [5 - 9 September 2010]. ESREL. Island of Rhodes, 5. Sep 2010 - 9. Sep 2010. London:CRC Press, pp. 852-860. ISBN 978-0-415-60427-7

@inproceedings{Haverkort2010Proba-2970, title={Probabilistic verification of Architectural software models using SoftArc and Prism}, year={2010}, isbn={978-0-415-60427-7}, address={London}, publisher={CRC Press}, booktitle={Reliability, risk and safety : back to the future ; ESREL (European Safety and Reliability) … annual conference ; Island of Rhodes, [5 - 9 September 2010]}, pages={852--860}, editor={Ale, Ben J. M.}, author={Haverkort, Boudewijn R. and Kuntz, Matthias and Leitner-Fischer, Florian and Remke, Anne and Roolvink, Stephan} }

<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/2970"> <dc:contributor>Roolvink, Stephan</dc:contributor> <dc:creator>Roolvink, Stephan</dc:creator> <dcterms:rights rdf:resource="http://nbn-resolving.org/urn:nbn:de:bsz:352-20140905103416863-3868037-7"/> <dc:contributor>Remke, Anne</dc:contributor> <dc:contributor>Leitner-Fischer, Florian</dc:contributor> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/2970"/> <dc:creator>Leitner-Fischer, Florian</dc:creator> <dcterms:issued>2010</dcterms:issued> <dc:language>eng</dc:language> <dcterms:abstract xml:lang="eng">In this paper we will describe the SoftArc approach. With the SoftArc approach it is possible to model and analyse safety-critical embedded and distributed systems that consist of both hard- and software. We are going to present the SoftArc modelling language, its syntax and semantics. The semantics of the SoftArc modelling language is defined in terms of stochastic reactive modules. We will show how important measures of interest for probabilistic dependability analysis like availability, unavailability, and survivability, can be analysed. We will demonstrate the feasibility of our approach by means of two case studies, that involve hard- and software elements. First, we are presenting two industrial case studies from the automotive industry. We will analyse the non volatile random access manager (NVRAM) from the AUTOSAR open system architecture, Second, we are going to present the survivability analysis of a simplified version of the Google replicated file system.</dcterms:abstract> <dcterms:title>Probabilistic verification of Architectural software models using SoftArc and Prism</dcterms:title> <dc:creator>Haverkort, Boudewijn R.</dc:creator> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-23T10:15:32Z</dcterms:available> <dc:contributor>Haverkort, Boudewijn R.</dc:contributor> <dcterms:bibliographicCitation>Reliability, risk and safety : back to the future ; ESREL (European Safety and Reliability) ... annual conference ; Island of Rhodes, [5 - 9 September 2010] / ed.: Ben J. M. Ale ...[Ed.]. - London : CRC Press, 2010. - pp. 852-860. - ISBN 978-0-415-60427-7</dcterms:bibliographicCitation> <dc:rights>deposit-license</dc:rights> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-23T10:15:32Z</dc:date> <dc:contributor>Kuntz, Matthias</dc:contributor> <dc:creator>Kuntz, Matthias</dc:creator> <dc:creator>Remke, Anne</dc:creator> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

Haverkort_128390.pdf 91

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto