By Topic

Dependability modeling and evaluation of phased mission systems: a DSPN approach

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Mural, I. ; Dept. of Inf. Eng., Pisa Univ., Italy ; Bondavalli, A. ; Zang, X. ; Trivedi, K.S.

We focus on 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 system 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 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 model 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.

Published in:

Dependable Computing for Critical Applications 7, 1999

Date of Conference:

8-8 Jan. 1999