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

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

Research output: Chapter in Book/Report/Conference proceedingConference 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 languageEnglish (US)
Title of host publicationProceedings - 2018 14th European Dependable Computing Conference, EDCC 2018
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages116-119
Number of pages4
ISBN (Electronic)9781538680605
DOIs
StatePublished - Nov 9 2018
Event14th European Dependable Computing Conference, EDCC 2018 - Iasi, Romania
Duration: Sep 10 2018Sep 14 2018

Other

Other14th European Dependable Computing Conference, EDCC 2018
CountryRomania
CityIasi
Period9/10/189/14/18

Fingerprint

Chemical analysis
Modeling
Dependability
Data Flow
Infrastructure
Enhancement
Model
Evaluation
Energy
Demonstrate
Strategy
Data flow
Transportation infrastructure

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

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). [8530770] 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; Feddersen, Brett; Sanders, William H.

Proceedings - 2018 14th European Dependable Computing Conference, EDCC 2018. Institute of Electrical and Electronics Engineers Inc., 2018. p. 116-119 8530770.

Research output: Chapter in Book/Report/Conference proceedingConference 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, 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 https://doi.org/10.1109/EDCC.2018.00029
Masetti, Giulio ; Chiaradonna, Silvano ; Di Giandomenico, Felicita ; Feddersen, Brett ; Sanders, William H. / 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
@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}",
year = "2018",
month = "11",
day = "9",
doi = "10.1109/EDCC.2018.00029",
language = "English (US)",
pages = "116--119",
booktitle = "Proceedings - 2018 14th European Dependable Computing Conference, EDCC 2018",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
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

SP - 116

EP - 119

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

PB - Institute of Electrical and Electronics Engineers Inc.

ER -