Probabilistic verification of Architectural software models using SoftArc and Prism

Haverkort, B.R. and Kuntz, M. and Leitner-Fischer, F. and Remke, A. and Roolvink, S. (2010) Probabilistic verification of Architectural software models using SoftArc and Prism. In: ESREL 2010 Annual Conference, 5-9 Sept 2010, Greece, Rhodos.

PDF
Restricted to UT campus only: Request a copy
354Kb

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.
Item Type:	Conference or Workshop Item
Copyright:	© 2010 Taylor & Francis
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Design and Analysis of Communication Systems (DACS)
Link to this item:	http://purl.utwente.nl/publications/75312
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page