Publikation:

Probabilistic verification of Architectural software models using SoftArc and Prism

Vorschaubild

Dateien

Haverkort_128390.pdf
Haverkort_128390.pdfGröße: 4.09 MBDownloads: 391

Datum

2010

Autor:innen

Haverkort, Boudewijn R.
Remke, Anne
Roolvink, Stephan

Herausgeber:innen

Kontakt

ISSN der Zeitschrift

Electronic ISSN

ISBN

Bibliografische Daten

Verlag

Schriftenreihe

Auflagebezeichnung

URI (zitierfähiger Link)
http://nbn-resolving.de/urn:nbn:de:bsz:352-opus-128390
DOI (zitierfähiger Link)
ArXiv-ID

Internationale Patentnummer

Link zur Lizenz
Urheberrechtlich geschützt

Angaben zur Forschungsförderung

Projekt

DiRePro: Directed Model Checking in the Analysis of Real-Time and Probabilistic Systems
Open Access-Veröffentlichung
Open Access Green

Sammlungen

Informatik und Informationswissenschaft: Publikationen
Core Facility der Universität Konstanz

Gesperrt bis

Titel in einer weiteren Sprache

Publikationstyp
Beitrag zu einem Konferenzband
Publikationsstatus
Published

Erschienen 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]. London: CRC Press, 2010, pp. 852-860. ISBN 978-0-415-60427-7

Zusammenfassung

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.

Zusammenfassung in einer weiteren Sprache

Fachgebiet (DDC)
004 Informatik

Schlagwörter

Konferenz

ESREL, 5. Sept. 2010 - 9. Sept. 2010, Island of Rhodes
Rezension
undefined / . - undefined, undefined

Forschungsvorhaben

Organisationseinheiten

Zeitschriftenheft

Zugehörige Datensätze in KOPS

Zitieren

ISO 690HAVERKORT, 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. Sept. 2010 - 9. Sept. 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]. London: CRC Press, 2010, pp. 852-860. ISBN 978-0-415-60427-7
BibTex
@inproceedings{Haverkort2010Proba-2970,
  year={2010},
  title={Probabilistic verification of Architectural software models using SoftArc and Prism},
  isbn={978-0-415-60427-7},
  publisher={CRC Press},
  address={London},
  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: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/2970">
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/2970/1/Haverkort_128390.pdf"/>
    <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/2970"/>
    <dcterms:title>Probabilistic verification of Architectural software models using SoftArc and Prism</dcterms:title>
    <dc:contributor>Haverkort, Boudewijn R.</dc:contributor>
    <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>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/2970/1/Haverkort_128390.pdf"/>
    <dc:contributor>Remke, Anne</dc:contributor>
    <dc:rights>terms-of-use</dc:rights>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-23T10:15:32Z</dcterms:available>
    <dc:creator>Remke, Anne</dc:creator>
    <dc:language>eng</dc:language>
    <dc:contributor>Leitner-Fischer, Florian</dc:contributor>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:contributor>Roolvink, Stephan</dc:contributor>
    <dc:creator>Kuntz, Matthias</dc:creator>
    <dc:creator>Haverkort, Boudewijn R.</dc:creator>
    <dc:creator>Roolvink, Stephan</dc:creator>
    <dcterms:issued>2010</dcterms:issued>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dc:contributor>Kuntz, Matthias</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>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dc:creator>Leitner-Fischer, Florian</dc:creator>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-23T10:15:32Z</dc:date>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
  </rdf:Description>
</rdf:RDF>

Interner Vermerk

xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter

Kontakt
URL der Originalveröffentl.

Prüfdatum der URL

Prüfungsdatum der Dissertation

Finanzierungsart

Kommentar zur Publikation

Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Ja
Begutachtet
Diese Publikation teilen