PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bondavalli A., Mura I., Chiaradonna S., Filippini R., Poli S., Sandrini F. DEEM: a Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems. In: DSN2000 Int. Conference on Dependable Systems and Networks (FTCS-30 and DCCA-8) (New York, USA). IEEE, Computer Society. 2000.
 
 
Abstract
(English)
Multiple-Phased 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. However, the phased behavior makes the analysis of Multiple-Phased Systems extremely complex.. This paper is centered on the description and application of DEEM, a dependability modeling and evaluation tool for Multiple Phased Systems. DEEM supports a powerful and efficient methodology for the analytical dependability modeling and evaluation of Multiple Phased Systems, based on Deterministic and Stochastic Petri Nets and on Markov Regenerative Processes.
Subject Dependability Modeling
Multiple Phased Systems
C.4 Performance of Systems


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