The Möbius modeling environment: Recent extensions - 2005

Tod Courtney, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh Lam, Michael McQuinn, Eric Rozier, William H. Sanders

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Scopus citations

Abstract

The Möbius 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 Möbius, 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.

Original languageEnglish (US)
Title of host publicationQEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems
Pages259-260
Number of pages2
DOIs
StatePublished - Dec 1 2005
EventQEST 2005 - Second International Conference on the Quantitative Evaluation of SysTems - Torino, Italy
Duration: Sep 19 2005Sep 22 2005

Publication series

NameQEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems
Volume2005

Other

OtherQEST 2005 - Second International Conference on the Quantitative Evaluation of SysTems
CountryItaly
CityTorino
Period9/19/059/22/05

    Fingerprint

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Courtney, T., Derisavi, S., Gaonkar, S., Griffith, M., Lam, V., McQuinn, M., Rozier, E., & Sanders, W. H. (2005). The Möbius modeling environment: Recent extensions - 2005. In QEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems (pp. 259-260). [1595809] (QEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems; Vol. 2005). https://doi.org/10.1109/QEST.2005.39