The Möbius modeling environment: Recent extensions - 2005

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

Volumn 2005, Issue , 2005, Pages 259-260

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

^a University of Illinois at Urbana Champaign   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; CONTROL SYSTEM ANALYSIS; DATA REDUCTION; FAULT TREE ANALYSIS; INTERFACES (COMPUTER); STATE SPACE METHODS; SYNCHRONIZATION;

FAULT TREE MODEL; MÖBIUS MODELING; MODEL COMPOSITION; STATE SPACE GENERATORS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 33847250583     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QEST.2005.39     Document Type: Conference Paper

References (6)

1. F. Stevens, T. Courtney, S. Singh, A. Agbaria, J. F. Meyer, W. H. Sanders, and P. Pal, "Model-based validation of an intrusion-tolerant information system," in Proc. SRDS 2004, Oct. 2004, pp. 184-194.
2. S. Singh, A. Agbaria, F. Stevens, T. Courtney, J. F. Meyer, W. H. Sanders, and P. Pal, "Validation of a survivable publish-subscribe system," Int. Sci. Journal of Computing, to appear.
3. D. D. Deavours, G. Clark, T. Courtney, D. Daly, S. Derisavi, J. M. Doyle, W. H. Sanders, and P. G. Webster, "The Möbius framework and its implementation," IEEE Trans. on Soft. Eng., vol. 28, no. 10, pp. 956-969, Oct. 2002.
4. S. Derisavi, P. Kemper, and W. H. Sanders, "Lumping matrix diagram representations of Markov models," in Proc. DSN 2005, Jun./Jul. 2005, to appear.
5. _, "Symbolic state-space exploration and numerical analysis of state-sharing composed models," Linear Alg. and its App., vol. 386, pp. 137-166, Jul. 2004.
6. G. Ciardo and A. Miner, "A data structure for the efficient Kronecker solution of GSPNs," in Proc. 8th Int. Workshop Petri Nets and Perf. Models, 1999, pp. 22-31.