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

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 proceeding › Conference contribution › Scientific › peer-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 language	English
Title of host publication	Proceedings of the ESREL 2010 Annual Conference
Editors	Kent Bladh, Jan-Erik Holmberg, Johanna Oxstrand, Pekka Pyy
Place of Publication	London
Publisher	Taylor & Francis
Pages	852-860
Number of pages	9
ISBN (Print)	9780415604277
Publication status	Published - 5 Sept 2010
Externally published	Yes
Event	European Safety and Reliability Conference 2010 : Reliability, Risk and Safety: Back to the Future - Rhodes, Greece Duration: 5 Sept 2010 → 9 Sept 2010 http://www.esrel2010.gr/

Conference

Conference	European Safety and Reliability Conference 2010
Abbreviated title	ESREL 2010
Country/Territory	Greece
City	Rhodes
Period	5/09/10 → 9/09/10
Internet address	http://www.esrel2010.gr/

Keywords

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

Cite this

@inproceedings{a71bd73f2eb146fd99fc0112f97616f3,

title = "Probabilistic verification of Architectural software models using SoftArc and Prism",

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.",

keywords = "IR-75312, EWI-18357, CR-B.1.3, METIS-276084",

author = "Haverkort, {Boudewijn R.H.M.} and G.W.M. Kuntz and F. Leitner-Fischer and Remke, {Anne Katharina Ingrid} and S. Roolvink",

year = "2010",

month = sep,

day = "5",

language = "English",

isbn = "9780415604277",

pages = "852--860",

editor = "Kent Bladh and Jan-Erik Holmberg and Johanna Oxstrand and Pekka Pyy",

booktitle = "Proceedings of the ESREL 2010 Annual Conference",

publisher = "Taylor & Francis",

note = "European Safety and Reliability Conference 2010 : Reliability, Risk and Safety: Back to the Future, ESREL 2010 ; Conference date: 05-09-2010 Through 09-09-2010",

url = "http://www.esrel2010.gr/",

}

Haverkort, BRHM, Kuntz, GWM, Leitner-Fischer, F, Remke, AKI & 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. Taylor & Francis, London, pp. 852-860, European Safety and Reliability Conference 2010 , Rhodes, Greece, 5/09/10.

Probabilistic verification of Architectural software models using SoftArc and Prism. / Haverkort, Boudewijn R.H.M.; Kuntz, G.W.M.; Leitner-Fischer, F. et al.
Proceedings of the ESREL 2010 Annual Conference. ed. / Kent Bladh; Jan-Erik Holmberg; Johanna Oxstrand; Pekka Pyy. London: Taylor & Francis, 2010. p. 852-860.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Probabilistic verification of Architectural software models using SoftArc and Prism

AU - Haverkort, Boudewijn R.H.M.

AU - Kuntz, G.W.M.

AU - Leitner-Fischer, F.

AU - Remke, Anne Katharina Ingrid

AU - Roolvink, S.

PY - 2010/9/5

Y1 - 2010/9/5

N2 - 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.

AB - 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.

KW - IR-75312

KW - EWI-18357

KW - CR-B.1.3

KW - METIS-276084

M3 - Conference contribution

SN - 9780415604277

SP - 852

EP - 860

BT - Proceedings of the ESREL 2010 Annual Conference

A2 - Bladh, Kent

A2 - Holmberg, Jan-Erik

A2 - Oxstrand, Johanna

A2 - Pyy, Pekka

PB - Taylor & Francis

CY - London

T2 - European Safety and Reliability Conference 2010

Y2 - 5 September 2010 through 9 September 2010

ER -

Probabilistic verification of Architectural software models using SoftArc and Prism

Abstract

Conference

Keywords

Fingerprint

Cite this