Probabilistic verification of Architectural software models using SoftArc and Prism

Boudewijn R.H.M. Haverkort, G.W.M. Kuntz, F. Leitner-Fischer, Anne Katharina Ingrid Remke, S. Roolvink

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Abstract

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.
Original languageEnglish
Title of host publicationProceedings of the ESREL 2010 Annual Conference
EditorsKent Bladh, Jan-Erik Holmberg, Johanna Oxstrand, Pekka Pyy
Place of PublicationLondon
PublisherTaylor & Francis
Pages852-860
Number of pages9
ISBN (Print)9780415604277
Publication statusPublished - 5 Sep 2010
Externally publishedYes
EventEuropean Safety and Reliability Conference 2010 : Reliability, Risk and Safety: Back to the Future - Rhodes, Greece
Duration: 5 Sep 20109 Sep 2010
http://www.esrel2010.gr/

Conference

ConferenceEuropean Safety and Reliability Conference 2010
Abbreviated titleESREL 2010
CountryGreece
CityRhodes
Period5/09/109/09/10
Internet address

Keywords

  • IR-75312
  • EWI-18357
  • CR-B.1.3
  • METIS-276084

Fingerprint Dive into the research topics of 'Probabilistic verification of Architectural software models using SoftArc and Prism'. Together they form a unique fingerprint.

  • Cite this

    Haverkort, B. R. H. M., Kuntz, G. W. M., Leitner-Fischer, F., Remke, A. K. I., & Roolvink, S. (2010). Probabilistic verification of Architectural software models using SoftArc and Prism. In K. Bladh, J-E. Holmberg, J. Oxstrand, & P. Pyy (Eds.), Proceedings of the ESREL 2010 Annual Conference (pp. 852-860). Taylor & Francis.