Model-based evaluation as a support to the design of dependable systems (Contributo in volume (capitolo o saggio))

Type

• Prodotto della ricerca (Classe)
• Contributo in volume (capitolo o saggio) (Classe)

Label

• Model-based evaluation as a support to the design of dependable systems (Contributo in volume (capitolo o saggio)) (literal)

Anno

• 2005-01-01T00:00:00+01:00 (literal)

Alternative label

• Bondavalli A.; Chiaradonna S.; Di Giandomenico F. (2005)
  Model-based evaluation as a support to the design of dependable systems
  John Wiley & Sons Inc., Hoboken (Stati Uniti d'America) in Dependable computing systems : paradigms, performance issues, and applications, 2005
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Bondavalli A.; Chiaradonna S.; Di Giandomenico F. (literal)

Pagina inizio

• 57 (literal)

Pagina fine

• 86 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume

• Dependable computing systems : paradigms, performance issues, and applications (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note

• ISTI-A1-02 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto

• 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. (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• DSI, Universita` di Firenze ISTI-CNR (literal)

Titolo

• Model-based evaluation as a support to the design of dependable systems (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#inCollana

• In: Dependable Computing Systems - Paradigms, Performance Issues, and Applications, pp. 57-86. Hassan B. Diab, Albert Y. Zomaya (eds.). 2005 (ISBN:0-471-67422-2). (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn

• 0-471-67422-2 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#curatoriVolume

• Diab, Hassan B.; Zomaya, Albert Y. (literal)

Abstract

• 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. (literal)

Editore

• John Wiley & Sons Inc. (Editore)

Prodotto di

• Architetture a componenti per sistemi complessi affidabili (ICT.P09.005.001) (Modulo)
• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)

Autore CNR

• SILVANO CHIARADONNA (Unità di personale interno)
• FELICITA DI GIANDOMENICO (Persona)

Insieme di parole chiave

• Keywords of "Model-based evaluation as a support to the design of dependable systems" (Insieme di parole chiave)

Incoming links:

Prodotto

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Architetture a componenti per sistemi complessi affidabili (ICT.P09.005.001) (Modulo)

Autore CNR di

• SILVANO CHIARADONNA (Unità di personale interno)
• FELICITA DI GIANDOMENICO (Persona)

Editore di

• John Wiley & Sons Inc. (Editore)

Insieme di parole chiave di

• Keywords of "Model-based evaluation as a support to the design of dependable systems" (Insieme di parole chiave)