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

Publication series

NameProceedings - 2018 14th European Dependable Computing Conference, EDCC 2018

Other

Other14th European Dependable Computing Conference, EDCC 2018
CountryRomania
CityIasi
Period9/10/189/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

Fingerprint Dive into the research topics of 'An Efficient Strategy for Model Composition in the Möbius Modeling Environment'. Together they form a unique fingerprint.

Cite this