loading...
Integration of an MPS Modeling Approach into Mobius
Riverside, California September 11-September 14
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/QEST.2006.21Third International Conference on the ...
 This Article 
 
PDF
HTML
IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Andrea Bondavalli, DSI, Universita di Firenze, Viale Morgagni 65,Firenze, Italy
Silvano Chiaradonna, ISTI-CNR, Via G. Moruzzi 1, 56124 Pisa, Italy
Paolo Lollini, DSI, Universita di Firenze, Viale Morgagni, Italy
Fabrizio Squittieri, DSI, Universita di Firenze, Viale Morgagni, Italy
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.
Citation:
Andrea Bondavalli, Silvano Chiaradonna, Paolo Lollini, Fabrizio Squittieri, "Integration of an MPS Modeling Approach into Mobius," qest, pp.139-140, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.