Probabilistic verification of Architectural software models using SoftArc and Prism

B.R. Haverkort; M. Kuntz; F. Leitner-Fischer; A. Remke; S. Roolvink

Probabilistic verification of Architectural software models using SoftArc and Prism

B.R. Haverkort, M. Kuntz, F. Leitner-Fischer, A. Remke, S. Roolvink

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

1 Downloads (Pure)

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	Reliability, Risk and Safety Back to the Future
Subtitle of host publication	Proceedings of the European Safety and Reliability Conference, ESREL 2010
Editors	Ben J.M. Ale, Ioannis A. Papazoglou, Enrico Zio
Place of Publication	London
Publisher	Taylor & Francis
Pages	852-860
Number of pages	9
ISBN (Print)	978-0-415-60427-7
Publication status	Published - 5 Sep 2010
Event	European Safety and Reliability Conference, ESREL 2010: Reliability, Risk and Safety: Back to the Future - Rhodes, Greece Duration: 5 Sep 2010 → 9 Sep 2010 http://www.esrel2010.com/

Conference

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

Keywords

CR-B.1.3

Access to Document

Haverkort2010probabilisticFinal published version, 354 KB

Cite this

Haverkort, B. R., Kuntz, M., Leitner-Fischer, F., Remke, A., & Roolvink, S. (2010). Probabilistic verification of Architectural software models using SoftArc and Prism. In B. J. M. Ale, I. A. Papazoglou, & E. Zio (Eds.), Reliability, Risk and Safety Back to the Future: Proceedings of the European Safety and Reliability Conference, ESREL 2010 (pp. 852-860). Taylor & Francis.

Haverkort, B.R. ; Kuntz, M. ; Leitner-Fischer, F. et al. / Probabilistic verification of Architectural software models using SoftArc and Prism. Reliability, Risk and Safety Back to the Future: Proceedings of the European Safety and Reliability Conference, ESREL 2010. editor / Ben J.M. Ale ; Ioannis A. Papazoglou ; Enrico Zio. London : Taylor & Francis, 2010. pp. 852-860

@inproceedings{26610beb6d654bd48bee9f4c9351750f,

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 = "CR-B.1.3",

author = "B.R. Haverkort and M. Kuntz and F. Leitner-Fischer and A. Remke and S. Roolvink",

year = "2010",

month = sep,

day = "5",

language = "English",

isbn = "978-0-415-60427-7",

pages = "852--860",

editor = "Ale, {Ben J.M.} and Papazoglou, {Ioannis A.} and Enrico Zio",

booktitle = "Reliability, Risk and Safety Back to the Future",

publisher = "Taylor & Francis",

address = "United States",

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

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

}

Haverkort, BR, Kuntz, M, Leitner-Fischer, F, Remke, A & Roolvink, S 2010, Probabilistic verification of Architectural software models using SoftArc and Prism. in BJM Ale, IA Papazoglou & E Zio (eds), Reliability, Risk and Safety Back to the Future: Proceedings of the European Safety and Reliability Conference, ESREL 2010. Taylor & Francis, London, pp. 852-860, European Safety and Reliability Conference, ESREL 2010, Rhodes, Greece, 5/09/10.

Probabilistic verification of Architectural software models using SoftArc and Prism. / Haverkort, B.R.; Kuntz, M.; Leitner-Fischer, F. et al.

Reliability, Risk and Safety Back to the Future: Proceedings of the European Safety and Reliability Conference, ESREL 2010. ed. / Ben J.M. Ale; Ioannis A. Papazoglou; Enrico Zio. London : Taylor & Francis, 2010. p. 852-860.

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

TY - GEN

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

AU - Haverkort, B.R.

AU - Kuntz, M.

AU - Leitner-Fischer, F.

AU - Remke, A.

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 - CR-B.1.3

M3 - Conference contribution

SN - 978-0-415-60427-7

SP - 852

EP - 860

BT - Reliability, Risk and Safety Back to the Future

A2 - Ale, Ben J.M.

A2 - Papazoglou, Ioannis A.

A2 - Zio, Enrico

PB - Taylor & Francis

CY - London

T2 - European Safety and Reliability Conference, ESREL 2010

Y2 - 5 September 2010 through 9 September 2010

ER -

Probabilistic verification of Architectural software models using SoftArc and Prism

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this