Möbius 2.3: An extensible tool for dependability, security, and performance evaluation of large and complex system models

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2009, Pages 353-358

  Courtney, Tod ^a   Gaonkar, Shravan ^a   Keefe, Ken ^a   Rozier, Eric W D ^a   Sanders, William H ^a  

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

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX SYSTEM MODELS; DISCRETE EVENT SYSTEMS; FEATURE SETS; INDUSTRIAL USE; MODELING AND ANALYSIS; MULTIPLE MODELS; PAPER DOCUMENTS; PERFORMANCE EVALUATION; PERFORMANCE MODELING; SOLUTION METHODS; SOLUTION TECHNIQUES;

INDUSTRIAL APPLICATIONS; LARGE SCALE SYSTEMS; MODEL STRUCTURES; MOLYBDENUM; MOLYBDENUM COMPOUNDS; NETWORK SECURITY;

MATHEMATICAL MODELS;

EID: 70450014827     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSN.2009.5270318     Document Type: Conference Paper

References (29)

1. E. Athanasopoulou, P. Thakker, and W. H. Sanders. Evaluating the dependability of a LEO satellite network for scientific applications. In QEST, pages 95-104, 2005.
2. S. Baarir, M. Beccuti, and G. Franceschinis. New solvers for asymmetric systems in GreatSPN. In QEST, pages 235-236, 2008.
3. F. Bause, P. Buchholz, and P. Kemper. A toolbox for functional and quantitative analysis of DEDS. In R. Puigjaner, N. N. Savino, and B. Serra, editors, Proc. of the 10th Int. Conf. on Computer Perf. Eval.: Modeling Tech. and Tools, pages 356-359, Palma de Mallorca, Spain, Sept. 1998.
4. H. Bohnenkamp, T. Courtney, D. Daly, S. Derisavi, H. Hermanns, J. Katoen, R. Klaren, V. V. Lam, and W. Sanders. On integrating the Möbius and MODEST modeling tools. DSN, pages 671-671, June 2003.
5. G. Chiola, G. Franceschinis, R. Gaeta, and M. Ribaudo. GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic petri nets. Perform. Eval., 24(1-2):47-68, 1995.
6. G. Ciardo and A. Miner. Smart: Simulation and Markovian analyzer for reliability and timing. Proc. of IEEE Int. Computer Perf. and Dependability Symp., pages 60-, Sept. 1996.
7. G. Clark, T. Courtney, D. Daly, D. Deavours, S. Derisavi, J. M. Doyle, W. H. Sanders, and P. Webster. The Möbius modeling tool. In Proc. of the 9th Int. Workshop on Petri Nets and Perf. Models, pages 241-250, Sept. 2001.
8. D. Deavours and W. H. Sanders. Möbius: Framework and atomic models. In 10th International Workshop on Petri Nets and Performance Models, pages 251-260, Sept. 2001.
9. 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 Transactions on Software Engineering, 28(10):956-969, Oct. 2002.
10. S. Derisavi, P. Kemper, and W. H. Sanders. Symbolic state-space exploration and numerical analysis of state-sharing composed models. Linear Alg. and its App., 386:137-166, Jul. 2004.
11. S. Derisavi, P. Kemper, and W. H. Sanders. Lumping matrix diagram representations of Markov models. In DSN, pages 742-751, Jun. 2005.
12. S. Derisavi, P. Kemper, W. H. Sanders, and T. Courtney. The Möbius state-level abstract functional interface. Perform. Eval., 54(2):105-128, 2003.
13. S. Gaonkar, T. Courtney, and W. H. Sanders. Efficient state management to speed up simultaneous simulation of alternate system configurations. In Proc. of the Int. Mediterranean Modelling Multiconference, pages 31-36, 2006.
14. S. Gaonkar, E. Rozier, A. Tong, and W. H. Sanders. Scaling file systems to support petascale clusters: A dependability analysis to support informed design choices. In DSN, pages 386-391, 2008.
15. S. Gaonkar and W. H. Sanders. Simultaneous simulation of alternative system configurations. In PRDC, pages 41-48, Changsha, Hunan, China, 2005.
16. P. J. E. Goss and J. Peccoud. Quantitative modeling of stochastic systems in molecular biology using stochastic petri nets. In Proc. Natl. Acad. Sci. U.S.A., volume 95, pages 6750-6755, 1998.
17. P. J. E. Goss and J. Peccoud. Analysis of the stabilizing effect of Rom on the genetic network controlling plasmid ColE1 replication. In Proc. Pacific Symp. for Biocomputing, pages 65-76, 1999.
18. J. Horch. A sharp modeling approach. IEEE Software, 15(4):88-89, Jul/Aug 1998.
19. P. Kemper and C. Tepper. Automated analysis of simulation traces: Separating progress from repetitive behavior. In QEST, pages 101-110, 2007.
20. M. G. McQuinn, P. Kemper, and W. H. Sanders. Dependability analysis with Markov chains: How symmetries improve symbolic computations. In QEST, pages 151-160, 2007.
21. Möbius Team. The Möbius Manual, www.mobius.illinois.edu. University of Illinois at Urbana-Champaign, 2008.
22. D. M. Nicol, W. H. Sanders, and K. S. Trivedi. Model-based evaluation: From dependability to security. IEEE Trans. on Dependable and Secure Comp., 1(1):48-65, 2004.
23. W. H. Sanders. Integrated frameworks for multi-level and multi-formalism modeling. In Proc. of 8th International Workshop on Petri Nets and Performance Models, pages 2-9, Sept. 1999.
24. W. H. Sanders and J. F. Meyer. Stochastic activity networks: Formal definitions and concepts. In E. Brinksma, H. Hermanns, and J. P. Katoen, editors, Lectures on Formal Methods and Performance Analysis, volume 2090 of Lecture Notes in Computer Science, pages 315-343, Berg en Dal, The Netherlands, 2001. Springer.
25. W. H. Sanders, W. D. Obal, M. A. Quereshi, and F. K. Widjanarko. The UltraSAN modeling environment. Perf. Eval., 24(1):89-115, Oct.-Nov. 1995.
26. 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 Comp., 4(2), 2005.
27. F. Stevens, T. Courtney, S. Singh, A. Agbaria, J. Meyer, W. Sanders, and P. Pal. Model-based validation of an intrusion-tolerant information system. SRDS, pages 184-194, Oct. 2004.
28. E. Van Ruitenbeek, T. Courtney, W. H. Sanders, and F. Stevens. Quantifying the effectiveness of mobile phone virus response mechanisms. DSN, pages 790-800, 2007.
29. P. G. Webster. Design of experiments in the Möbius modeling framework. Master's thesis, U. of Illinois at Urbana-Champaign, 2002.