Model checking for survivability!

Share/Save/Bookmark

Cloth, Lucia and Haverkort, Boudewijn R. (2005) Model checking for survivability! In: Second International Conference on the Quantitative Evaluation of Systems, 2005, 19-22 Sept. 2005, Torino, Italy (pp. pp. 145-154).

open access
[img]
Preview
PDF
341kB
Abstract:Business and social life have become increasingly dependent on large-scale communication and information systems. A partial or complete breakdown as a consequence of natural disasters or purposeful attacks might have severe impacts. Survivability refers to the ability of a system to recover from such disaster circumstances. Evaluating survivability should therefore be an important part of communication system design. In this paper we take a model checking approach toward assessing survivability. We use the logic CSL to phrase survivability in a precise manner. The system operation is modelled through a labelled CTMC. Model checking algorithms can then decide automatically whether the system is survivable. We illustrate our method by evaluating the survivability of the Google file system using stochastic Petri nets.
Item Type:Conference or Workshop Item
Copyright:©2005 IEEE
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/55783
Official URL:http://dx.doi.org/10.1109/QEST.2005.21
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page