research-article

Generation of an optimised master algorithm for FMI co-simulation

Authors:

Bert Van Acker,

Hans Vangheluwe,

Paul De MeulenaereAuthors Info & Claims

DEVS '15: Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium

Pages 205 - 212

Published: 12 April 2015 Publication History

Abstract

Model-based Systems Engineering plays a pivotal role in the design of Software-Intensive and Cyber-Physical Systems by enabling early virtual integration of the different parts of the system. Often multiple formalisms are combined to express the behaviour of these complex engineered systems. Co-simulation in general and the Functional Mock-up Interface specifically, is a technique to simulate multiple heterogeneous models in concert. However, usage and performance of the overall co-simulation does not only depend on the accuracy of the distinct heterogeneous models. It also depends on the co-simulation master: the orchestration mechanism for this simultaneous simulation. In this paper we report on a technique to increase the performance of co-simulation. We explicitly model a co-simulation setup, using language engineering techniques. An explicit model of the co-simulation allows to automatically generate an optimised orchestration algorithm compliant to the Functional Mock-up Interface standard.

References

[1]

Bastian, J., Clauß, C., Wolf, S., and Schneider, P. "Master for co-simulation using FMI". In 8th International Modelica Conference, Dresden, Citeseer (2011).

[2]

Broman, D., Brooks, C., Greenberg, L., Lee, E. A., Masin, M., Tripakis, S., and Wetter, M. "Determinate composition of FMUs for co-simulation". In Proceedings of the Eleventh ACM International Conference on Embedded Software, IEEE Press (2013), 2.

Digital Library

[3]

Denil, J., Meyers, B., Pussig, B., De Meulenaere, P., and Vangheluwe, H. "Explicit Semantic Adaptation of Hybrid Formalisms for FMI Co-Simulation". In Proceedings of the Symposium on Theory of Modeling & Simulation-DEVS Integrative, Society for Computer Simulation International (2015).

Digital Library

[4]

Gheorghe, L., Bouchhima, F., Nicolescu, G., and Boucheneb, H. "Semantics for model-based validation of continuous/discrete systems". In Proceedings of the conference on Design, automation and test in Europe, ACM (2008), 498--503.

Digital Library

[5]

Kelley, C. Iterative Methods for Linear and Nonlinear Equations. Society for Industrial and Applied Mathematics, 1995.

[6]

Leiserson, C. E., Rivest, R. L., Stein, C., and Cormen, T. H. Introduction to algorithms. MIT press, 2001.

[7]

Lucio, L., Mustafiz, S., Denil, J., Vangheluwe, H., and Jukss, M. "FTG+PM: An Integrated Framework for Investigating Model Transformation Chains". In SDL Forum'13 (2013), 182--202.

[8]

MODELISAR consortium. "Functional Mock-up Interface for Co-Simulation v2.0" @ONLINE, July 2014.

[9]

Mosterman, P. J., and Vangheluwe, H. "Computer automated multi-paradigm modeling: An introduction". Simulation 80, 9 (Sept. 2004), 433.

[10]

Mosterman, P. J., Zander, J., Hamon, G., and Denckla, B. "Towards computational hybrid system semantics for time-based block diagrams". In proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'09) (2009), 376--385.

[11]

Pussig, B., Denil, J., De Meulenaere, P., and Vangheluwe, H. "Generation of Functional Mock-up Units for co-simulation from simulink®, using explicit computational semantics: work in progress paper". In Proceedings of the Symposium on Theory of Modeling & Simulation-DEVS Integrative, Society for Computer Simulation International (2014), 38.

Digital Library

[12]

QTronic. "FMU SDK: Free development kit v2.0.3" @ONLINE, Aug. 2014.

[13]

Syriani, E., Vangheluwe, H., Mannadiar, R., Hansen, C., Van Mierlo, S., and Ergin, H. "AToMPM: A Web-based Modeling Environment.". In Demos/Posters/StudentResearch@ MoDELS (2013), 21--25.

[14]

Tarjan, R. "Depth-first search and linear graph algorithms". SIAM journal on computing 1, 2 (1972), 146--160.

[15]

Tripakis, S., and Broman, D. "Bridging the Semantic Gap Between Heterogeneous Modeling Formalisms and FMI". Tech. Rep. UCB/EECS-2014-30, EECS Department, University of California, Berkeley, Apr 2014.

[16]

Zhang, X., and Broenink, J. F. "A structuring mechanism for embedded control systems using co-modelling and co-simulation".

[17]

Zhang, Z., Porter, J., Eyisi, E., Karsai, G., Koutsoukos, X., and Sztipanovits, J. "Co-simulation framework for design of time-triggered cyber physical systems". In Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems, ACM (2013), 119--128.

Digital Library

Cited By

Liboni GDeantoni JPortaluri AQuaglia Dde Simone RChillet D(2018)Beyond Time-Triggered Co-simulation of Cyber-Physical Systems for Performance and Accuracy ImprovementsProceedings of the Rapido'18 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools10.1145/3180665.3180668(1-8)Online publication date: 22-Jan-2018
https://dl.acm.org/doi/10.1145/3180665.3180668
Gomes CThule CBroman DLarsen PVangheluwe H(2018)Co-SimulationACM Computing Surveys10.1145/317999351:3(1-33)Online publication date: 23-May-2018
https://dl.acm.org/doi/10.1145/3179993
Lawrence DGomes CDenil JVangheluwe HBuchs DBarros FPrähofer HHu XDenil J(2016)Coupling petri nets with deterministic formalisms using co-simulationProceedings of the Symposium on Theory of Modeling & Simulation10.5555/2975389.2975395(1-8)Online publication date: 3-Apr-2016
https://dl.acm.org/doi/10.5555/2975389.2975395
Show More Cited By

Index Terms

Generation of an optimised master algorithm for FMI co-simulation
1. Computing methodologies
  1. Modeling and simulation
    1. Simulation support systems
      1. Simulation languages
    2. Simulation types and techniques

Recommendations

Integration of UML models in FMI-based co-simulation
TMS-DEVS '16: Proceedings of the Symposium on Theory of Modeling & Simulation

Due to both an increase of business competition and design constraints, the complexity of Cyber Physical Systems (CPS) is reaching the limits of the human capabilities to think and then to design safe, secure, performant and reliable systems. Extensive ...
Model transformation by-example: a survey of the first wave
Conceptual Modelling and Its Theoretical Foundations

Model-Driven Engineering (MDE) places models as first-class artifacts throughout the software lifecycle. In this context, model transformations are crucial for the success of MDE, being comparable in role and importance to compilers for high-level ...
An integrated framework for automated simulation of SysML models using DEVS

System models are constructed to design, study, and understand complex systems. According to the systems modeling language (SysML) that is a standard for model-based system engineering, all engineering activities should be performed using a common ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

DEVS '15: Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium

April 2015

288 pages

ISBN:9781510801059

Editors:
Fernando Barros
University of Coimbra, Portugal
,
Moon Ho Wang
Dassualt Systemes, Delmia Corp
,
Herbert Prähofer
Johannes Kepler University Linz, Austria
,
Xiaolin Hu
Georgia State University

Sponsors

SIGSIM: ACM Special Interest Group on Simulation and Modeling
SCS: Society for Modeling and Simulation International

Publisher

Society for Computer Simulation International

San Diego, CA, United States

Publication History

Published: 12 April 2015

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SpringSim '15

Sponsor:

SIGSIM
SCS

SpringSim '15: 2015 Spring Simulation Multiconference

April 12 - 15, 2015

Virginia, Alexandria

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
178
Total Downloads

Downloads (Last 12 months)5
Downloads (Last 6 weeks)1

Reflects downloads up to 28 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Liboni GDeantoni JPortaluri AQuaglia Dde Simone RChillet D(2018)Beyond Time-Triggered Co-simulation of Cyber-Physical Systems for Performance and Accuracy ImprovementsProceedings of the Rapido'18 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools10.1145/3180665.3180668(1-8)Online publication date: 22-Jan-2018
https://dl.acm.org/doi/10.1145/3180665.3180668
Gomes CThule CBroman DLarsen PVangheluwe H(2018)Co-SimulationACM Computing Surveys10.1145/317999351:3(1-33)Online publication date: 23-May-2018
https://dl.acm.org/doi/10.1145/3179993
Lawrence DGomes CDenil JVangheluwe HBuchs DBarros FPrähofer HHu XDenil J(2016)Coupling petri nets with deterministic formalisms using co-simulationProceedings of the Symposium on Theory of Modeling & Simulation10.5555/2975389.2975395(1-8)Online publication date: 3-Apr-2016
https://dl.acm.org/doi/10.5555/2975389.2975395
Denil JMeyers BDe Meulenaere PVangheluwe H(2015)Explicit semantic adaptation of hybrid formalisms for FMI co-simulationProceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium10.5555/2872965.2872979(99-106)Online publication date: 12-Apr-2015
https://dl.acm.org/doi/10.5555/2872965.2872979

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents