Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability
IEEE Transactions on Computers
Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems
EDCC-3 Proceedings of the Third European Dependable Computing Conference on Dependable Computing
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
Dependability through Assured Reconfiguration in Embedded System Software
IEEE Transactions on Dependable and Secure Computing
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
Resilience in computer systems and networks
Proceedings of the 2009 International Conference on Computer-Aided Design
ISSRE'09 Proceedings of the 20th IEEE international conference on software reliability engineering
A component-based solution method for non-ergodic Markov regenerative processes
EPEW'10 Proceedings of the 7th European performance engineering conference on Computer performance engineering
Dependability evaluation of web service-based processes
EPEW'06 Proceedings of the Third European conference on Formal Methods and Stochastic Models for Performance Evaluation
A component-based solution for reducible Markov regenerative processes
Performance Evaluation
Hi-index | 0.00 |
In this paper we focus on the analytical modeling for the dependability evaluation of phased-mission systems. Because of their dynamic behavior, systems showing a phased behavior offer challenges in modeling. We propose the modeling and evaluation of phased-mission systems dependability through the Deterministic and Stochastic Petri Nets (DSPN). The DSPN approach to the phased-mission systems offers many advantages, concerning both the modeling and the solution. The DSPN model of the mission can be a very concise one, and it can be efficiently solved for the dependability evaluation purposes. The solution procedure is supported by the existence of an analytical solution for the transient probabilities of the marking process underlying the DSPN model. This analytical solution can be fully automated. We show how the DSPN models capabilities are able to deal with various peculiar features of phased-mission systems, including those systems where the next phase to be performed can be chosen at the time the preceding phase ends.