Modeling the Resilience of Large and Evolving Systems
Volume 4, Number 2, April 2008 - Paper 5 - pp. 153 - 168
MOHAMED KAANICHE1, PAOLO LOLLINI2, ANDREA BONDAVALLI2, and KARAMA KANOUN11LAAS-CNRS, University of Toulouse, 7 av. Colonel Roche, 31077 Toulouse - France
2University of Florence-DSI, viale Morgagni 65, I-50134, Florence - Italy
(Received on July 26, 2007)
This paper summarizes the state of knowledge and ongoing research on methods and techniques for resilience evaluation, taking into account the resilience-scaling challenges and properties related to the ubiquitous computerized systems. We mainly focus on quantitative evaluation approaches and, in particular, on model-based evaluation techniques that are commonly used to evaluate and compare, from the dependability point of view, different architecture alternatives at the design stage. We outline some of the main modeling techniques aiming at mastering the largeness of analytical dependability models at the construction level. Actually, addressing the model largeness problem is important with respect to the investigation of the scalability of current techniques to meet the complexity challenges of ubiquitous systems. Finally we present two case studies in which some of the presented techniques are applied for modeling web services and General Packet Radio Service (GPRS) mobile telephone networks, as prominent examples of large and evolving systems.
Click here to download the paper.
Please note : You will need Adobe Acrobat viewer to view the full articles.