You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This cumulative habilitation thesis, proposes concepts for (i) modelling and analysing dependability based on architectural models of software-intensive systems early in development, (ii) decomposition and composition of modelling languages and analysis techniques to enable more flexibility in evolution, and (iii) bridging the divergent levels of abstraction between data of the operation phase, architectural models and source code of the development phase.
This book constitutes the refereed proceedings of the First Latin-American Symposium on Dependable Computing, LADC 2003, held in Sao Paulo, Brazil in October 2003. The 21 revised full papers presented together with abstracts of invited talks, a panel, workshops, and tutorials were carefully reviewed and selected for presentation. The papers are organized in topical sections on fault injection, security, adaptive fault tolerance, distributed algorithms, and components and fault tolerance.
The safe management of the complex distributed systems and critical infrastructures which constitute the backbone of modern industry and society entails identifying and quantifying their vulnerabilities to design adequate protection, mitigation, and emergency action against failure. In practice, there is no fail-safe solution to such problems and various frameworks are being proposed to effectively integrate different methods of complex systems analysis in a problem-driven approach to their solution. Vulnerable Systems reflects the current state of knowledge on the procedures which are being put forward for the risk and vulnerability analysis of critical infrastructures. Classical methods of reliability and risk analysis, as well as new paradigms based on network and systems theory, including simulation, are considered in a dynamic and holistic way. Readers of Vulnerable Systems will benefit from its structured presentation of the current knowledge base on this subject. It will enable graduate students, researchers and safety and risk analysts to understand the methods suitable for different phases of analysis and to identify their criticalities in application.
Energy as a Sociotechnical Problem offers an innovative approach to equip interdisciplinary research on sociotechnical transitions with coherence and focus. The book emphasizes sociotechnical problems in three analytical dimensions: - In the control dimension, contributing authors examine how control can be maintained despite increasing complexity and uncertainty, e.g., in power grid operations or on energy markets; - In the change dimension, the authors explore if and how change is possible despite the need for stable orientation, e.g., regarding discourses, real-world labs and learning; - Finally, in the action dimension, the authors analyze how the ability to act on a permanent basis is s...
In software development, project constraints lead to customer-specific variants by copying and adapting the product. During this process, modifications are scattered all over the code. Although this is flexible and efficient in the short term, a Software Product Line (SPL) offers better results in the long term, regarding cost reduction, time-to-market, and quality attributes. This book presents a novel approach named SPLevo, which consolidates customized product copies into an SPL.
This tutorial book gives an overview of the current state of the art in measuring the different aspects of dependability of systems: reliability, security and performance.