An Efficient Strategy for Model Composition in the Möbius Modeling Environment

Giulio Masetti; Silvano Chiaradonna; Felicita Di Giandomenico; Brett Feddersen; William H. Sanders

doi:10.1109/EDCC.2018.00029

An Efficient Strategy for Model Composition in the Möbius Modeling Environment

Giulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico, Brett Feddersen, William H. Sanders

Electrical and Computer Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

Möbius is well known as a modeling and evaluation environment for performance and dependability indicators. One of Möbius' key features is the modular and compositional approach to model definition and analysis. In particular, the modeler can define submodels using several formalisms and compose them to form the overall model of the system under analysis. The current algorithm for model composition in Möbius revealed performance issues when large systems are considered (such as in the modeling of realistic segments of energy or transportation infrastructures), due to the chosen data flow scheme. In this paper, a new algorithm for the same composition mechanism is proposed to improve efficiency. A case study is also developed to demonstrate the performance enhancements.

Original language	English (US)
Title of host publication	Proceedings - 2018 14th European Dependable Computing Conference, EDCC 2018
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	116-119
Number of pages	4
ISBN (Electronic)	9781538680605
DOIs	https://doi.org/10.1109/EDCC.2018.00029
State	Published - Nov 9 2018
Event	14th European Dependable Computing Conference, EDCC 2018 - Iasi, Romania Duration: Sep 10 2018 → Sep 14 2018

Publication series

Name	Proceedings - 2018 14th European Dependable Computing Conference, EDCC 2018

Other

Other	14th European Dependable Computing Conference, EDCC 2018
Country/Territory	Romania
City	Iasi
Period	9/10/18 → 9/14/18

Keywords

Compositional operator
Modeling
Möbius

ASJC Scopus subject areas

Information Systems and Management
Safety, Risk, Reliability and Quality
Computer Networks and Communications
Hardware and Architecture
Control and Optimization

Online availability

10.1109/EDCC.2018.00029

Library availability

Discover UIUC Full Text

Cite this

Masetti, G., Chiaradonna, S., Di Giandomenico, F., Feddersen, B., & Sanders, W. H. (2018). An Efficient Strategy for Model Composition in the Möbius Modeling Environment. In Proceedings - 2018 14th European Dependable Computing Conference, EDCC 2018 (pp. 116-119). Article 8530770 (Proceedings - 2018 14th European Dependable Computing Conference, EDCC 2018). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/EDCC.2018.00029

An Efficient Strategy for Model Composition in the Möbius Modeling Environment. / Masetti, Giulio; Chiaradonna, Silvano; Di Giandomenico, Felicita et al.
Proceedings - 2018 14th European Dependable Computing Conference, EDCC 2018. Institute of Electrical and Electronics Engineers Inc., 2018. p. 116-119 8530770 (Proceedings - 2018 14th European Dependable Computing Conference, EDCC 2018).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Masetti, G, Chiaradonna, S, Di Giandomenico, F, Feddersen, B & Sanders, WH 2018, An Efficient Strategy for Model Composition in the Möbius Modeling Environment. in Proceedings - 2018 14th European Dependable Computing Conference, EDCC 2018., 8530770, Proceedings - 2018 14th European Dependable Computing Conference, EDCC 2018, Institute of Electrical and Electronics Engineers Inc., pp. 116-119, 14th European Dependable Computing Conference, EDCC 2018, Iasi, Romania, 9/10/18. https://doi.org/10.1109/EDCC.2018.00029

Masetti G, Chiaradonna S, Di Giandomenico F, Feddersen B, Sanders WH. An Efficient Strategy for Model Composition in the Möbius Modeling Environment. In Proceedings - 2018 14th European Dependable Computing Conference, EDCC 2018. Institute of Electrical and Electronics Engineers Inc. 2018. p. 116-119. 8530770. (Proceedings - 2018 14th European Dependable Computing Conference, EDCC 2018). doi: 10.1109/EDCC.2018.00029

Masetti, Giulio ; Chiaradonna, Silvano ; Di Giandomenico, Felicita et al. / An Efficient Strategy for Model Composition in the Möbius Modeling Environment. Proceedings - 2018 14th European Dependable Computing Conference, EDCC 2018. Institute of Electrical and Electronics Engineers Inc., 2018. pp. 116-119 (Proceedings - 2018 14th European Dependable Computing Conference, EDCC 2018).

@inproceedings{4f24cf025f9f434b8906f1729eab6cfc,

title = "An Efficient Strategy for Model Composition in the M{\"o}bius Modeling Environment",

abstract = "M{\"o}bius is well known as a modeling and evaluation environment for performance and dependability indicators. One of M{\"o}bius' key features is the modular and compositional approach to model definition and analysis. In particular, the modeler can define submodels using several formalisms and compose them to form the overall model of the system under analysis. The current algorithm for model composition in M{\"o}bius revealed performance issues when large systems are considered (such as in the modeling of realistic segments of energy or transportation infrastructures), due to the chosen data flow scheme. In this paper, a new algorithm for the same composition mechanism is proposed to improve efficiency. A case study is also developed to demonstrate the performance enhancements.",

keywords = "Compositional operator, Modeling, M{\"o}bius",

author = "Giulio Masetti and Silvano Chiaradonna and {Di Giandomenico}, Felicita and Brett Feddersen and Sanders, {William H.}",

note = "Publisher Copyright: {\textcopyright} 2018 IEEE.; 14th European Dependable Computing Conference, EDCC 2018 ; Conference date: 10-09-2018 Through 14-09-2018",

year = "2018",

month = nov,

day = "9",

doi = "10.1109/EDCC.2018.00029",

language = "English (US)",

series = "Proceedings - 2018 14th European Dependable Computing Conference, EDCC 2018",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "116--119",

booktitle = "Proceedings - 2018 14th European Dependable Computing Conference, EDCC 2018",

address = "United States",

}

TY - GEN

T1 - An Efficient Strategy for Model Composition in the Möbius Modeling Environment

AU - Masetti, Giulio

AU - Chiaradonna, Silvano

AU - Di Giandomenico, Felicita

AU - Feddersen, Brett

AU - Sanders, William H.

PY - 2018/11/9

Y1 - 2018/11/9

N2 - Möbius is well known as a modeling and evaluation environment for performance and dependability indicators. One of Möbius' key features is the modular and compositional approach to model definition and analysis. In particular, the modeler can define submodels using several formalisms and compose them to form the overall model of the system under analysis. The current algorithm for model composition in Möbius revealed performance issues when large systems are considered (such as in the modeling of realistic segments of energy or transportation infrastructures), due to the chosen data flow scheme. In this paper, a new algorithm for the same composition mechanism is proposed to improve efficiency. A case study is also developed to demonstrate the performance enhancements.

AB - Möbius is well known as a modeling and evaluation environment for performance and dependability indicators. One of Möbius' key features is the modular and compositional approach to model definition and analysis. In particular, the modeler can define submodels using several formalisms and compose them to form the overall model of the system under analysis. The current algorithm for model composition in Möbius revealed performance issues when large systems are considered (such as in the modeling of realistic segments of energy or transportation infrastructures), due to the chosen data flow scheme. In this paper, a new algorithm for the same composition mechanism is proposed to improve efficiency. A case study is also developed to demonstrate the performance enhancements.

KW - Compositional operator

KW - Modeling

KW - Möbius

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

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

U2 - 10.1109/EDCC.2018.00029

DO - 10.1109/EDCC.2018.00029

M3 - Conference contribution

AN - SCOPUS:85058367345

T3 - Proceedings - 2018 14th European Dependable Computing Conference, EDCC 2018

SP - 116

EP - 119

BT - Proceedings - 2018 14th European Dependable Computing Conference, EDCC 2018

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 14th European Dependable Computing Conference, EDCC 2018

Y2 - 10 September 2018 through 14 September 2018

ER -

An Efficient Strategy for Model Composition in the Möbius Modeling Environment

Abstract

Publication series

Other

Keywords

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this