Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability
IEEE Transactions on Computers
IEEE Transactions on Computers
Tuning of Database Audits to Improve Scheduled Maintenance in Communication Systems
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
Analysis of a Redundant Architecture for Critical Infrastructure Protection
Architecting Dependable Systems V
An integrated framework for the dependability evaluation of distributed mobile applications
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
A framework for simulation and symbolic state space analysis of non-markovian models
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
A component-based solution for reducible Markov regenerative processes
Performance Evaluation
| Hi-index | 0.01 |
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.