PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Mura I., Bondavalli A. Hierarchical Modelling and Evaluation of Phased-Mission Systems. 1999.
 
 
Abstract
(English)
This paper proposes a hierarchical & modular methodology for modeling & evaluation of phased-mission systems in which phases have constant prcdetermined duration, and where missions may evolve dynamically selecting the next phase to be performed according lo the system slate. A 2-level modeling is proposed: the higher one models the mission itself, the lower one models tllc various phases. A separate 'modeling & resolution of phases' and 'dependencies among phascs' are considered. This methodology is applied using an cxainplc of a space application. This method is conipared with previous models. The advantages of this approach are in the great flcxibility, easy applicability, and reusability of the defined models. It permits: . obtaining information on the overall behavior of thc system, . focusing on each single phase lo detect system dependability bottlenecks. The explicit niodeling of the phase changes: . is a neat & easily understandable representation of the intcrphase dependencies, . allows a straightforward modcling of the mission-profile dynamic selecbion. Cencral purpose tools available to the reliability community can sasily manage the computational complexity of the analysis.
Subject Phased mission system
Reconfigaration
Markov model
Petri-Net model
Hierarchical modeling methodology
Performability


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