Title :
Data Analysis and Visualization within the M ¨ obius Modeling Environment
Author :
Courtney, T. ; Gaonkar, S. ; Griffith, M. ; Lam, V. ; McQuinn, M. ; Rozier, E. ; Sanders, W.H.
Author_Institution :
Dept. of Electr. & Comput. Eng., Illinois Univ., Urbana, IL
Abstract :
The Mobius modeling environment is a multiple formalism, multiple-solver framework for discrete-event system analysis. The basis of the framework is an abstract functional interface that defines the interactions between modules. New formalism and solver modules continue to be added to the tool. This paper describes recent additions to Mobius that can loosely be characterized as providing a variety of result analysis and visualization techniques
Keywords :
C++ language; Java; data analysis; data visualisation; discrete event systems; formal verification; graphical user interfaces; programming environments; systems analysis; Mobius modeling environment; abstract functional interface; data analysis; data visualization; discrete-event system analysis; multiple formalism; multiple-solver framework;
Conference_Titel :
Quantitative Evaluation of Systems, 2006. QEST 2006. Third International Conference on
Conference_Location :
Riverside, CA
Print_ISBN :
0-7695-2665-9
DOI :
10.1109/QEST.2006.14
