loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Second International Conference on the Quantitative Evaluation of Systems (QEST'05)
The Mobius Modeling Environment: Recent Extensions - 2005
Torino, Italy
September 19-September 22
ISBN: 0-7695-2427-3
ASCII Text
x 
 
Tod Courtney, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh Lam, Michael McQuinn, Eric Rozier, William H. Sanders, "The Mobius Modeling Environment: Recent Extensions - 2005," Quantitative Evaluation of Systems, International Conference on, pp. 259-260, Second International Conference on the Quantitative Evaluation of Systems (QEST'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/QEST.2005.39,
author = {Tod Courtney and Salem Derisavi and Shravan Gaonkar and Mark Griffith and Vinh Lam and Michael McQuinn and Eric Rozier and William H. Sanders},
title = {The Mobius Modeling Environment: Recent Extensions - 2005},
journal ={Quantitative Evaluation of Systems, International Conference on},
volume = {0},
year = {2005},
isbn = {0-7695-2427-3},
pages = {259-260},
doi = {http://doi.ieeecomputersociety.org/10.1109/QEST.2005.39},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Quantitative Evaluation of Systems, International Conference on
TI - The Mobius Modeling Environment: Recent Extensions - 2005
SN - 0-7695-2427-3
SP259
EP260
A1 - Tod Courtney,
A1 - Salem Derisavi,
A1 - Shravan Gaonkar,
A1 - Mark Griffith,
A1 - Vinh Lam,
A1 - Michael McQuinn,
A1 - Eric Rozier,
A1 - William H. Sanders,
PY - 2005
KW - null
VL - 0
JA - Quantitative Evaluation of Systems, International Conference on
ER -
 
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
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.
Citation:
Tod Courtney, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh Lam, Michael McQuinn, Eric Rozier, William H. Sanders, "The Mobius Modeling Environment: Recent Extensions - 2005," qest, pp.259-260, Second International Conference on the Quantitative Evaluation of Systems (QEST'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.