A modular approach for model-based dependability evaluation of a class of systems (Articolo in rivista)

Type

• Articolo in rivista (Classe)
• Prodotto della ricerca (Classe)

Label

• A modular approach for model-based dependability evaluation of a class of systems (Articolo in rivista) (literal)

Anno

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

Alternative label

• Porcarelli S., Di Giandomenico F., Lollini P., Bondavalli A. (2005)
  A modular approach for model-based dependability evaluation of a class of systems
  in Lecture notes in computer science
  (literal)

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

• Porcarelli S., Di Giandomenico F., Lollini P., Bondavalli A. (literal)

Pagina inizio

• 160 (literal)

Pagina fine

• 174 (literal)

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

• 3335 (literal)

Rivista

• Lecture notes in computer science (Rivista)

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

• In: Service Availability. vol. 3335 pp. 160 - 174. (Lecture Notes in Computer Science, vol. 3335). Berlin Heidelberg: Springer Verlag, 2005. (literal)

Note

• ISI Web of Science (WOS) (literal)

Titolo

• A modular approach for model-based dependability evaluation of a class of systems (literal)

Abstract

• Modeling for dependability and performance evaluation has proven to be a useful and versatile approach in all the phases of the system life cycle. Indeed, a widely used approach in performability modeling is to describe the system by state space models (like Markov models). However, for large systems, the state space of the system model may result extremely large, making it very hard to solve. Taking advantage of the characteristics of a particular class of systems, this paper develops a methodology to construct an efficient, scalable and easily maintainable architectural model for such class, especially tailored to dependability analysis. Although limited to the class considered, the proposed methodology shows very attractive because of its ability to master complexity, both in the model design phase and, then, in its solution. A representative case study is also included. (literal)

Prodotto di

• 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

• FELICITA DI GIANDOMENICO (Persona)
• ANDREA BONDAVALLI (Persona)

Insieme di parole chiave

• Keywords of "A modular approach for model-based dependability evaluation of a class of 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

• FELICITA DI GIANDOMENICO (Persona)
• ANDREA BONDAVALLI (Persona)

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

• Lecture notes in computer science (Rivista)

Insieme di parole chiave di

• Keywords of "A modular approach for model-based dependability evaluation of a class of systems" (Insieme di parole chiave)