Dependability modeling & evaluation of multiple-phased systems using DEEM (Articolo in rivista)

Type
Label
  • Dependability modeling & evaluation of multiple-phased systems using DEEM (Articolo in rivista) (literal)
Anno
  • 2004-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1109/TR.2004.837709 (literal)
Alternative label
  • Bondavalli A.; Chiaradonna S.; Di Giandomenico F.; Mura I. (2004)
    Dependability modeling & evaluation of multiple-phased systems using DEEM
    in IEEE transactions on reliability
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Bondavalli A.; Chiaradonna S.; Di Giandomenico F.; Mura I. (literal)
Pagina inizio
  • 509 (literal)
Pagina fine
  • 522 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 53 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • V. 53, n. 4, IEEE Reliability Society, 2004 (literal)
Note
  • Google Scholar (literal)
  • Scopu (literal)
  • ISI Web of Science (WOS) (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • Università di Firenze, ISTI-CNR, Motorola Electronics SpA (literal)
Titolo
  • Dependability modeling & evaluation of multiple-phased systems using DEEM (literal)
Abstract
  • Multiple-Phased Systems (MPS), i.e., systems whose operational life can be partitioned in a set of disjoint periods, called ``phases'', include several classes of systems such as Phased Mission Systems and Scheduled Maintenance Systems. Because of their deployment in critical applications, the dependability modeling and analysis of Multiple-Phased Systems is a task of primary relevance. The phased behavior makes the analysis of Multiple-Phased Systems extremely complex. This paper describes the modeling methodology and the solution procedure implemented in DEEM, a dependability modeling and evaluation tool specifically tailored for Multiple Phased Systems. It describes its use for the solution of representative MPS problems. DEEM relies upon Deterministic and Stochastic Petri Nets as the modeling formalism and on Markov Regenerative Processes for the model solution. When compared to existing general-purpose tools based on similar formalisms, DEEM offers advantages on both the modeling side (sub-models neatly model the phase-dependent behaviors of MPS), and on the evaluation side (a specialized algorithm allows a considerable reduction of the solution cost and time). Thus, DEEM is able to deal with all the scenarios of MPS that have been analytically treated in the literature, at a cost which is comparable with that of the cheapest ones, completely solving the issues posed by the phased-behavior of MPS. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
Insieme di parole chiave di
data.CNR.it