Model-based evaluation as a support to the design of dependable systems

Chapter 3 focuses on model-based evaluation as a support to the analysis of dependable computer systems in all the phases of the system life cycle. An overview of the most commonly employed methodologies and tools for model-based evaluation is provided, and extensive literature is indicated as pointers to relevant research activities performed on this attractive topic over the last decades. The practical utility of this system evaluation method is shown through two examples of how analytical modeling supports design decisions and fault removal during the operational life of a system.