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.

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.

This book constitutes the refereed proceedings of the 4th International Service Availability Symposium, ISAS 2007, held in Durham, NH, USA in May 2007.

The 12 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections on middleware, software systems, modeling and analysis, as well as model-driven development and human engineering.

Information systems can be complex due to numerous factors including scale, decentralization, heterogeneity, mobility, dynamism, bugs and failures. Depl- ing, operating and maintaining such systems can be not only very di?cult, but also very costly. A ?urry of recent activity has been directed at this pr- lem, and future information systems are envisioned as self-con?guring, se- organizing, self-managingandself-repairing.Collectively, wecalltheseproperties self- properties. This book is a "spin-o?" of a by-invitation-only Bertinoro workshop on se- propertiesincomplexsystemswhichwasheldinsummer2004inBertinoro, Italy. The Self-star workshop brought together researchers and practitioners from d- ferent disciplines and with di?erent backgrounds to discuss complex information systems.Thethemeoftheworkshopwastoidentifytheconceptualandpractical foundationsformodeling, analyzingandachievingself- propertiesindistributed and networked systems. Partly based on these discussions, we solicited papers from the workshop participants and a set of invitees for this book. We sought original contributions in which authors explicitly take a position concerningrequirements, usefulness, potentialandlimitations oftechnologies for self- properties of complex systems. This position needed to be founded on - search results that were put clearly in context with respect to the position sta- ment. We strongly encouraged visionary statements, thought-provoking ideas, and exploratory results that will help the reader form her or his own opinions on the importance of self- properties in current and future complex information systems.