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

doi:10.1109/QEST.2005.39

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 proceeding › Conference contribution

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 language	English (US)
Title of host publication	QEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems
Pages	259-260
Number of pages	2
DOIs	https://doi.org/10.1109/QEST.2005.39
State	Published - 2005
Externally published	Yes
Event	QEST 2005 - Second International Conference on the Quantitative Evaluation of SysTems - Torino, Italy Duration: Sep 19 2005 → Sep 22 2005

Publication series

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

Other

Other	QEST 2005 - Second International Conference on the Quantitative Evaluation of SysTems
Country/Territory	Italy
City	Torino
Period	9/19/05 → 9/22/05

ASJC Scopus subject areas

General Engineering

Online availability

10.1109/QEST.2005.39

Library availability

Discover UIUC Full Text

Cite this

Courtney, T., Derisavi, S., Gaonkar, S., Griffith, M., Lam, V., McQuinn, M., Rozier, E., & 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 (pp. 259-260). Article 1595809 (QEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems; Vol. 2005). https://doi.org/10.1109/QEST.2005.39

The Möbius modeling environment: Recent extensions - 2005. / Courtney, Tod; Derisavi, Salem; Gaonkar, Shravan et al.
QEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems. 2005. p. 259-260 1595809 (QEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems; Vol. 2005).

Research output: Chapter in Book/Report/Conference proceeding › Conference 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., 1595809, QEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems, vol. 2005, 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. 2005. p. 259-260. 1595809. (QEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems). doi: 10.1109/QEST.2005.39

@inproceedings{f545896fe3544a2eb6e1c74de480aae2,

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",

doi = "10.1109/QEST.2005.39",

language = "English (US)",

isbn = "0769524273",

series = "QEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems",

pages = "259--260",

booktitle = "QEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems",

note = "QEST 2005 - Second International Conference on the Quantitative Evaluation of SysTems ; Conference date: 19-09-2005 Through 22-09-2005",

}

TY - GEN

T1 - The Möbius modeling environment

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

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

Y1 - 2005

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

AN - SCOPUS:33847250583

SN - 0769524273

SN - 9780769524276

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

SP - 259

EP - 260

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

Y2 - 19 September 2005 through 22 September 2005

ER -

The Möbius modeling environment: Recent extensions - 2005

Abstract

Publication series

Other

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this