Resilience Assessment and Evaluation of Computing Systems

  • Katinka Wolter
  • Alberto Avritzer
  • Marco Vieira
  • Aad van Moorsel

Table of contents

  1. Front Matter
    Pages i-xviii
  2. Introduction and Motivating Examples

    1. Front Matter
      Pages 1-1
    2. Alberto Avritzer, Luca Berardinelli, Vittorio Cortellessa, Leïla Kloul, Carlo Rosa, Katinka Wolter
      Pages 25-40
    3. Alberto Avritzer, Felicita Di Giandomenico, Anne Remke, Martin Riedl
      Pages 41-63
    4. Samuel Kounev, Philipp Reinecke, Fabian Brosig, Jeremy T. Bradley, Kaustubh Joshi, Vlastimil Babka et al.
      Pages 65-81
  3. Modelling Techniques

    1. Front Matter
      Pages 83-83
    2. Philipp Reinecke, Levente Bodrog, Alexandra Danilkina
      Pages 85-113
    3. Jeremy T. Bradley, Lucia Cloth, Richard A. Hayden, Leïla Kloul, Philipp Reinecke, Markus Siegle et al.
      Pages 115-149
  4. Model-Driven Prediction

    1. Front Matter
      Pages 151-151
    2. Andrea Bondavalli, Paolo Lollini, István Majzik, Leonardo Montecchi
      Pages 153-165
    3. Alberto Avritzer, Ricardo M. Czekster, Salvatore Distefano, Kishor S. Trivedi
      Pages 167-183
    4. Katja Gilly, Fabian Brosig, Ramon Nou, Samuel Kounev, Carlos Juiz
      Pages 185-202
  5. Measurement and Metrics

    1. Front Matter
      Pages 203-203
    2. Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai, Michele Vadursi
      Pages 205-211
    3. Joao Duraes, José Fonseca, Henrique Madeira, Marco Vieira
      Pages 213-237
    4. Soila P. Kavulya, Kaustubh Joshi, Felicita Di Giandomenico, Priya Narasimhan
      Pages 239-261
    5. Raul Barbosa, Johan Karlsson, Henrique Madeira, Marco Vieira
      Pages 263-281
    6. Marco Vieira, Henrique Madeira, Kai Sachs, Samuel Kounev
      Pages 283-301
  6. Testing Techniques

    1. Front Matter
      Pages 303-303

About this book

Introduction

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.

Keywords

benchmarking dependability networks performance reliability robustness statistical methods stochastic modeling system evaluation testing

Editors and affiliations

  • Katinka Wolter
    • 1
  • Alberto Avritzer
    • 2
  • Marco Vieira
    • 3
  • Aad van Moorsel
    • 4
  1. 1.Inst. InformatikHumboldt-Universität BerlinBerlinGermany
  2. 2.Siemens Corporate ResearchPrincetonUSA
  3. 3.Fac. Ciencias e Tecnologia, Depto. Engenharia InformaticaUniversidade de CoimbraCoimbraPortugal
  4. 4.Newcastle UniversityNewcastle upon TyneUnited Kingdom

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-29032-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-29031-2
  • Online ISBN 978-3-642-29032-9
  • About this book