The Mobius Modeling Environment: Recent Extensions - 2005

Author

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

Author_Institution

Dept. of Electr. & Comput. Eng., Illinois Univ., Urbana, IL

fYear

2005

fDate

19-22 Sept. 2005

Firstpage

259

Lastpage

260

Abstract

The Mobius modeling environment is an extensible framework for discrete-event system analysis that allows multiple formalisms and solution techniques to easily intemperate, 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 Mobius, 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

Keywords

abstract data types; discrete event simulation; fault trees; formal specification; software performance evaluation; software tools; systems analysis; abstract functional interface; action synchronization; discrete-event system analysis; fault tree model definition formalism; lumping capability; mobius modeling environment; model composition formalism; multiple formalism; reward model definition; solver module; symbolic state space generator; Discrete event systems; Fault trees; Graphical user interfaces; Java; Performance analysis; State-space methods;

fLanguage

English

Publisher

ieee

Conference_Titel

Quantitative Evaluation of Systems, 2005. Second International Conference on the

Conference_Location

Torino

Print_ISBN

0-7695-2427-3

Type

conf

DOI

10.1109/QEST.2005.39

Filename

1595809