The Mobius modeling environment is an extensible framework for discrete-event system analysis that allows multiple formalisms and solution techniques to easily intemperate, 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 Mobius, 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
['Tod Courtney', 'Salem Derisavi', 'Shravan Gaonkar', 'Mark Griffith', 'Vinh Vi Lam', 'Michael G. McQuinn', 'Eric Rozier', 'William H. Sanders']
The Mobius Modeling Environment: Recent Extensions - 2005