Model-based evaluation as a support to the design of dependable systems
Bondavalli A., Chiaradonna S., Di Giandomenico F.
C.4 Performance of systems B.8 Performance and reliability
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.
Source: Dependable computing systems : paradigms, performance issues, and applications, edited by Diab, Hassan B.; Zomaya, Albert Y., pp. 57–86. Hoboken: John Wiley & Sons Inc., 2005
Publisher: John Wiley & Sons Inc., Hoboken, USA
Back to previous page
@inbook{oai:it.cnr:prodotti:138946,
title = {Model-based evaluation as a support to the design of dependable systems},
author = {Bondavalli A. and Chiaradonna S. and Di Giandomenico F.},
publisher = {John Wiley \& Sons Inc., Hoboken, USA},
booktitle = {Dependable computing systems : paradigms, performance issues, and applications, edited by Diab, Hassan B.; Zomaya, Albert Y., pp. 57–86. Hoboken: John Wiley \& Sons Inc., 2005},
year = {2005}
}
0000-0002-0889-1990