In this paper we present an extension to the Mobius Framework to deal with Multiple Phased Systems (MPS). MPS are a special class of systems whose operational life can be partitioned in a set of disjoint periods, called phases. Due to their deployment in critical applications, the dependability modeling and analysis of MPS is a task of primary relevance. In the philosophy of an extensible multiformalism multi-solution modeling framework such as Mobius, and due to its wide usage, we have developed an extension for the MPS modeling process. MPS models can be defined using our approach and solved using the simulation supports already available in Mobius.

Integration of an MPS Modeling Approach into Möbius / A. Bondavalli; S. Chiaradonna; P. Lollini; F. Squittieri. - STAMPA. - 0:(2006), pp. 139-140. ((Intervento presentato al convegno International Conference on Quantitative Evaluation of Systems (QEST 2006) tenutosi a Los Alamitos, CA, USA nel September 11-14, 2006 [10.1109/QEST.2006.21].

Integration of an MPS Modeling Approach into Möbius

BONDAVALLI, ANDREA;CHIARADONNA, SILVANO;LOLLINI, PAOLO;
2006

Abstract

In this paper we present an extension to the Mobius Framework to deal with Multiple Phased Systems (MPS). MPS are a special class of systems whose operational life can be partitioned in a set of disjoint periods, called phases. Due to their deployment in critical applications, the dependability modeling and analysis of MPS is a task of primary relevance. In the philosophy of an extensible multiformalism multi-solution modeling framework such as Mobius, and due to its wide usage, we have developed an extension for the MPS modeling process. MPS models can be defined using our approach and solved using the simulation supports already available in Mobius.
Proc. of the 3rd International Conference on Quantitative Evaluation of SysTems (QEST’06), Tool Session
International Conference on Quantitative Evaluation of Systems (QEST 2006)
Los Alamitos, CA, USA
September 11-14, 2006
A. Bondavalli; S. Chiaradonna; P. Lollini; F. Squittieri
File in questo prodotto:
File Dimensione Formato  
tools_bondavalli_andrea.pdf

Accesso chiuso

Tipologia: Altro
Licenza: DRM non definito
Dimensione 186.32 kB
Formato Adobe PDF
186.32 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/2158/394253
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact