PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bondavalli A., Chiaradonna S., Di Giandomenico F. Model-based evaluation as a support to the design of dependable systems. Hassan B. Diab, Albert Y. Zomaya (eds.). United States of America: John Wiley & Sons, 2005.
 
 
Abstract
(English)
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.
Subject dependable systems
C.4 PERFORMANCE OF SYSTEMS
B.8 PERFORMANCE AND RELIABILITY


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional