• DocumentCode
    2619200
  • 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
  • fYear
    2006
  • fDate
    11-14 Sept. 2006
  • Firstpage
    137
  • Lastpage
    138
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Quantitative Evaluation of Systems, 2006. QEST 2006. Third International Conference on
  • Conference_Location
    Riverside, CA
  • Print_ISBN
    0-7695-2665-9
  • Type

    conf

  • DOI
    10.1109/QEST.2006.14
  • Filename
    1704006