Integration of an MPS modeling approach into mobius
Bondavalli A., Chiaradonna S., Lollini P., Squittieri F.
Multiple Phased Systems
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.
Source: Third International Conference on the Quantitative Evaluation of Systems (QEST '06), pp. 139–140, Riverside, California, 11-14/09/2006
Back to previous page
@inproceedings{oai:it.cnr:prodotti:91335,
title = {Integration of an MPS modeling approach into mobius},
author = {Bondavalli A. and Chiaradonna S. and Lollini P. and Squittieri F.},
booktitle = {Third International Conference on the Quantitative Evaluation of Systems (QEST '06), pp. 139–140, Riverside, California, 11-14/09/2006},
year = {2006}
}
0000-0002-0889-1990