The Community for Technology Leaders
Quantitative Evaluation of Systems, International Conference on (2005)
Torino, Italy
Sept. 19, 2005 to Sept. 22, 2005
ISBN: 0-7695-2427-3
pp: 259-260
Tod Courtney , University of Illinois at Urbana-Champaign
Salem Derisavi , University of Illinois at Urbana-Champaign
Shravan Gaonkar , University of Illinois at Urbana-Champaign
Mark Griffith , University of Illinois at Urbana-Champaign
Vinh Lam , University of Illinois at Urbana-Champaign
Michael McQuinn , University of Illinois at Urbana-Champaign
Eric Rozier , University of Illinois at Urbana-Champaign
William H. Sanders , University of Illinois at Urbana-Champaign
ABSTRACT
The M?obius modeling environment is an extensible framework for discrete-event system analysis that allows multiple formalisms and solution techniques to easily interoperate, and new modules to be easily added. The basis of the framework is an abstract functional interface that defines the behavior and data to be shared among modules. New formalism and solver modules continue to be added to the tool. This paper describes recent additions to M?obius, including a fault tree model definition formalism, a model composition formalism based on action synchronization, improvements in reward model definition, and additional lumping capabilities in the symbolic state space generator.
INDEX TERMS
null
CITATION

S. Derisavi et al., "The Mobius Modeling Environment: Recent Extensions - 2005," Proceedings. Second International Conference on the Quantitative Evaluation of Systems(QEST), Torino, 2005, pp. 259-260.
doi:10.1109/QEST.2005.39
94 ms
(Ver 3.3 (11022016))