The Möbius modeling environment

Recent extensions - 2005

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

Abstract

The Möbius 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 Möbius, 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.

Original languageEnglish
Title of host publicationQEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems
Pages259-260
Number of pages2
Volume2005
DOIs
StatePublished - Dec 1 2005
EventQEST 2005 - Second International Conference on the Quantitative Evaluation of SysTems - Torino, Italy
Duration: Sep 19 2005Sep 22 2005

Other

OtherQEST 2005 - Second International Conference on the Quantitative Evaluation of SysTems
CountryItaly
CityTorino
Period9/19/059/22/05

Fingerprint

Discrete event simulation
Synchronization
Systems analysis
Chemical analysis

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Courtney, T., Derisavi, S., Gaonkar, S., Griffith, M., Lam, V., McQuinn, M., ... Sanders, W. H. (2005). The Möbius modeling environment: Recent extensions - 2005. In QEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems (Vol. 2005, pp. 259-260). [1595809] https://doi.org/10.1109/QEST.2005.39

The Möbius modeling environment : Recent extensions - 2005. / Courtney, Tod; Derisavi, Salem; Gaonkar, Shravan; Griffith, Mark; Lam, Vinh; McQuinn, Michael; Rozier, Eric; Sanders, William H.

QEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems. Vol. 2005 2005. p. 259-260 1595809.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Courtney, T, Derisavi, S, Gaonkar, S, Griffith, M, Lam, V, McQuinn, M, Rozier, E & Sanders, WH 2005, The Möbius modeling environment: Recent extensions - 2005. in QEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems. vol. 2005, 1595809, pp. 259-260, QEST 2005 - Second International Conference on the Quantitative Evaluation of SysTems, Torino, Italy, 9/19/05. https://doi.org/10.1109/QEST.2005.39
Courtney T, Derisavi S, Gaonkar S, Griffith M, Lam V, McQuinn M et al. The Möbius modeling environment: Recent extensions - 2005. In QEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems. Vol. 2005. 2005. p. 259-260. 1595809 https://doi.org/10.1109/QEST.2005.39
Courtney, Tod ; Derisavi, Salem ; Gaonkar, Shravan ; Griffith, Mark ; Lam, Vinh ; McQuinn, Michael ; Rozier, Eric ; Sanders, William H. / The Möbius modeling environment : Recent extensions - 2005. QEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems. Vol. 2005 2005. pp. 259-260
@inproceedings{d9a9f9335ad44f989c340666c993f821,
title = "The M{\"o}bius modeling environment: Recent extensions - 2005",
abstract = "The M{\"o}bius 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 M{\"o}bius, 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.",
author = "Tod Courtney and Salem Derisavi and Shravan Gaonkar and Mark Griffith and Vinh Lam and Michael McQuinn and Eric Rozier and Sanders, {William H.}",
year = "2005",
month = "12",
day = "1",
doi = "10.1109/QEST.2005.39",
language = "English",
isbn = "0769524273",
volume = "2005",
pages = "259--260",
booktitle = "QEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems",

}

TY - GEN

T1 - The Möbius modeling environment

T2 - Recent extensions - 2005

AU - Courtney, Tod

AU - Derisavi, Salem

AU - Gaonkar, Shravan

AU - Griffith, Mark

AU - Lam, Vinh

AU - McQuinn, Michael

AU - Rozier, Eric

AU - Sanders, William H.

PY - 2005/12/1

Y1 - 2005/12/1

N2 - The Möbius 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 Möbius, 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.

AB - The Möbius 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 Möbius, 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.

UR - http://www.scopus.com/inward/record.url?scp=33847250583&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33847250583&partnerID=8YFLogxK

U2 - 10.1109/QEST.2005.39

DO - 10.1109/QEST.2005.39

M3 - Conference contribution

SN - 0769524273

SN - 9780769524276

VL - 2005

SP - 259

EP - 260

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

ER -