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 phasedmission 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 phasedmission systems, including those systems where the next phase to be performed can be chosen at the time the preceding phase ends.
Dependability modelling and evaluation of phased mission systems: a DSPN approach
1999
Abstract
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 phasedmission 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 phasedmission systems, including those systems where the next phase to be performed can be chosen at the time the preceding phase ends.File | Dimensione | Formato | |
---|---|---|---|
prod_408211-doc_143185.pdf
solo utenti autorizzati
Descrizione: Dependability modelling and evaluation of phased mission systems: a DSPN approach
Tipologia:
Versione Editoriale (PDF)
Dimensione
123.39 kB
Formato
Adobe PDF
|
123.39 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.