Resilience assessment and evaluation of computing systems / Katinka Wolter ... [and others], editors.

Other author Wolter, Katinka.
Format Electronic
Publication InfoBerlin ; London : Springer, [2012]
Descriptionxviii, 489 pages : illustrations ; 24 cm
Supplemental ContentFull text available from Springer Books
Supplemental ContentFull text available from Springer Nature - Springer Computer Science eBooks 2012 English International
Subjects
Computer software--Reliability.
Computer software--Reliability. --Case studies.
Computers--Reliability.
Computers--Reliability. --Case studies.

Contents Part 1. Introduction and Motivating Examples -- Fault Tolerance and Resilience: Meanings, Measures and Assessment / Lorenzo Strigini -- Resilience in Mobile Networks: A Need and a Challenge / Alberto Avritzer, Luca Berardinelli, Vittorio Cortellessa, Leïla Kloul and Carlo Rosa, et al. -- Assessing Dependability and Resilience in Critical Infrastructures: Challenges and Opportunities / Alberto Avritzer, Felicita Di Giandomenico, Anne Remke and Martin Riedl -- Providing Dependability and Resilience in the Cloud: Challenges and Opportunities / Samuel Kounev, Philipp Reinecke, Fabian Brosig, Jeremy T. Bradley and Kaustubh Joshi, et al.
Contents Part 2. Modelling Techniques -- Phase-Type Distributions / Philipp Reinecke, Levente Bodrog and Alexandra Danilkina -- Scalable Stochastic Modelling for Resilience / Jeremy T. Bradley, Lucia Cloth, Richard A. Hayden, Leïla Kloul and Philipp Reinecke, et al.
Contents Part 3. Model-Driven Prediction -- Modelling and Model-Based Assessment / Andrea Bondavalli, Paolo Lollini, István Majzik and Leonardo Montecchi -- Software Aging and Rejuvenation for Increased Resilience: Modeling, Analysis and Applications / Alberto Avritzer, Ricardo M. Czekster, Salvatore Distefano and Kishor S. Trivedi -- Online Prediction: Four Case Studies / Katja Gilly, Fabian Brosig, Ramon Nou, Samuel Kounev and Carlos Juiz.
Contents Part 4. Measurement and Metrics -- Foundations of Metrology in the Observation of Critical Systems / Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai and Michele Vadursi -- Field Studies on Resilience: Measurements and Repositories / Joao Duraes, José Fonseca, Henrique Madeira and Marco Vieira -- Failure Diagnosis of Complex Systems / Soila P. Kavulya, Kaustubh Joshi, Felicita Di Giandomenico and Priya Narasimhan -- Fault Injection / Raul Barbosa, Johan Karlsson, Henrique Madeira and Marco Vieira -- Resilience Benchmarking / Marco Vieira, Henrique Madeira, Kai Sachs and Samuel Kounev.
Contents Part 5. Testing Techniques -- Resilience Assessment Based on Performance Testing / Alberto Avritzer and Andre B. Bondi -- Robustness Testing Techniques and Tools / Zoltán Micskei, Henrique Madeira, Alberto Avritzer, István Majzik and Marco Vieira, et al.
Contents Part 6. Case Studies -- Case Study: Mobile Networks / Samir Bellahsene, Leïla Kloul, Philipp Reinecke and Katinka Wolter -- Case Study on Critical Infrastructures: Assessment of Electric Power Systems / Silvano Chiaradonna, Felicita Di Giandomenico and Paolo Lollini -- Providing Dependability and Performance in the Cloud: Case Studies / Nikolaus Huber, Fabian Brosig, Nicholas Dingle, Kaustubh Joshi and Samuel Kounev.
Contents Part 7. Conclusions and Outlook -- Future of Resilience Assessment: The AMBER Research Roadmap / Andrea Bondavalli, Henrique Madeira and Paolo Lollini.
Abstract The resilience of computing systems includes their dependability as well as their fault tolerance and security. It defines the ability of a computing system to perform properly in the presence of various kinds of disturbances and to recover from any service degradation. These properties are immensely important in a world where many aspects of our daily life depend on the correct, reliable and secure operation of often large-scale distributed computing systems. Wolter and her co-editors grouped the 20 chapters from leading researchers into seven parts: an introduction and motivating examples, modeling techniques, model-driven prediction, measurement and metrics, testing techniques, case studies, and conclusions. The core is formed by 12 technical papers, which are framed by motivating real-world examples and case studies, thus illustrating the necessity and the application of the presented methods. While the technical chapters are independent of each other and can be read in any order, the reader will benefit more from the case studies if he or she reads them together with the related techniques. The papers combine topics like modeling, benchmarking, testing, performance evaluation, and dependability, and aim at academic and industrial researchers in these areas as well as graduate students and lecturers in related fields. In this volume, they will find a comprehensive overview of the state of the art in a field of continuously growing practical importance. -- Publisher Description.
Bibliography noteIncludes bibliographical references (pages 441-489).
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2012941627
ISBN9783642290312 (hbk. : alk. paper)
ISBN3642290310 (hbk. : alk. paper)

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available