000 04779nam a22005175i 4500
001 978-3-642-29032-9
003 DE-He213
005 20140220083314.0
007 cr nn 008mamaa
008 121116s2012 gw | s |||| 0|eng d
020 _a9783642290329
_9978-3-642-29032-9
024 7 _a10.1007/978-3-642-29032-9
_2doi
050 4 _aQA76.9.E94
072 7 _aUYD
_2bicssc
072 7 _aCOM074000
_2bisacsh
082 0 4 _a004.24
_223
100 1 _aWolter, Katinka.
_eeditor.
245 1 0 _aResilience Assessment and Evaluation of Computing Systems
_h[electronic resource] /
_cedited by Katinka Wolter, Alberto Avritzer, Marco Vieira, Aad van Moorsel.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2012.
300 _aXVIII, 489 p. 95 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
505 0 _aPart I Introduction and Motivating Examples -- Fault Tolerance and Resilience: Meanings, Measures and Assessment -- Resilience in Mobile Networks: A Need and a Challenge -- Assessing Dependability and Resilience in Critical Infrastructures: Challenges and Opportunities -- Providing Dependability and Resilience in the Cloud: Challenges and Opportunities -- Part II Modelling Techniques -- Phase-Type Distributions -- Scalable Stochastic Modelling for Resilience -- Part III Model-Driven Prediction -- Modelling and Model-Based Assessment -- Software Aging and Rejuvenation for Increased Resilience: Modeling, Analysis and Applications -- Online Prediction: Four Case Studies -- Part IV Measurement and Metrics -- Foundations of Metrology in the Observation of Critical Systems -- Field Studies on Resilience: Measurements and Repositories -- Failure Diagnosis of Complex Systems -- Fault Injection -- Resilience Benchmarking -- Part V Testing Techniques -- Enforcing Resilience by Systematic Testing based on Structural and Operational Coverage Measures -- Resilience Assessment based on Performance Testing -- Robustness Testing Techniques and Tools -- Part VI Case Studies -- Case Study: Mobile Networks -- Case Study on Critical Infrastructures: Assessment of Electric Power Systems -- Providing Dependability and Performance in the Cloud: Case Studies -- Part VII Conclusions and Outlook -- Future of Resilience Assessment: The AMBER Research Roadmap.
520 _aThe 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.
650 0 _aComputer science.
650 0 _aComputer system performance.
650 0 _aSoftware engineering.
650 0 _aSystem safety.
650 1 4 _aComputer Science.
650 2 4 _aSystem Performance and Evaluation.
650 2 4 _aProbability and Statistics in Computer Science.
650 2 4 _aQuality Control, Reliability, Safety and Risk.
650 2 4 _aSoftware Engineering.
650 2 4 _aMathematical Applications in Computer Science.
700 1 _aAvritzer, Alberto.
_eeditor.
700 1 _aVieira, Marco.
_eeditor.
700 1 _avan Moorsel, Aad.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783642290312
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-642-29032-9
912 _aZDB-2-SCS
999 _c102942
_d102942