Istituto di Scienza e Tecnologie dell'Informazione     
Bondavalli A., Chiaradonna S., Lollini P., Squittieri F. Integration of an MPS modeling approach into mobius. In: Third International Conference on the Quantitative Evaluation of Systems (QEST '06) (11-14 September 2006). Proceedings, pp. 139 - 140. IEEE Computer Society, 2006.
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.
Subject Multiple Phased Systems

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