Skip to main content
SpringerLink
Log in

Lessons Learned Using FMI Co-simulation for Model-Based Design of Cyber Physical Systems

  • Conference paper
  • First Online:
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems (ISoLA 2018)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 11246))

Included in the following conference series:

Abstract

Model-Based Design is an effective way to carry out Cyber-Physical Systems (CPS) development. One of the main sets of challenges in CPS projects is dealing with the highly heterogeneous nature of the development teams. These challenges can be brought to the forefront by focusing on model integration through standards, such as the Functional Mockup Interface (FMI). We report on a case study of the application of an FMI-based workflow to the development of a Heat Ventilation and Air Conditioning (HVAC) system of a building. We report on ten challenges and lessons learned when using the FMI standard, focusing on collaborative aspects and model integration. As a conclusion we provide recommendations and examples for dealing with the CPS development challenges assessing to that end the importance of the FMI standard.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    FMI-compatible tools can be found at http://fmi-standard.org/tools/.

  2. 2.

    https://into-cps.github.io/.

  3. 3.

    http://www.modelio.org/.

  4. 4.

    http://www.modelon.com/products/fmi-tools/fmi-toolbox-for-matlabsimulink/.

  5. 5.

    http://overturetool.org/.

  6. 6.

    http://www.20sim.com/products/20sim4c.html.

  7. 7.

    https://jenkins.io/.

  8. 8.

    Type definitions can only specialize existing types.

References

  1. Bertsch, C., Ahle, E., Schulmeister, U.: The functional mockup interface-seen from an industrial perspective. In: Proceedings of the 10th International Modelica Conference, 10–12 March 2014, Lund, Sweden, pp. 27–33, No. 096 (2014)

    Google Scholar 

  2. Blochwitz, T.: Functional mock-up interface for model exchange and co-simulation, July 2014. https://www.fmi-standard.org/downloads

  3. Chacon, S., Straub, B.: Pro git. Apress (2014)

    Google Scholar 

  4. Couto, L.D., Pierce, K.: Modelling network connections in FMI with an explicit network model. In: The 15th Overture Workshop, September 2017

    Google Scholar 

  5. Derler, P., Lee, E.A., Sangiovanni-Vincentelli, A.: Modeling cyber-physical systems. Proc. IEEE 100(1), 13–28 (2012). (special issue on CPS)

    Article  Google Scholar 

  6. Feo-Arenis, S., Verhoef, M., Larsen, P.G.: The mars-rover case study modelled using INTO-CPS. In: The 15th Overture Workshop, September 2017

    Google Scholar 

  7. Fitzgerald, J., Gamble, C., Payne, R., Larsen, P.G., Basagiannis, S., Mady, A.E.D.: Collaborative model-based systems engineering for cyber-physical systems - a case study in building automation. In: INCOSE 2016, July 2016

    Google Scholar 

  8. Fitzgerald, J., Gamble, C., Payne, R., Pierce, K.: Methods Progress Report 3. Technical report, INTO-CPS Public Deliverable, D3.3b, December 2017

    Google Scholar 

  9. Fowler, M., Foemmel, M.: Continuous Integration. Thought-Works, vol. 122 (2006). http://www.thoughtworks.com/ContinuousIntegration.pdf

  10. Gamble, C.: DSE in the INTO-CPS Platform. Technical report, INTO-CPS Deliverable, D5.3e, December 2017

    Google Scholar 

  11. Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: a survey. ACM Comput. Surv. 51(3), 49:1–49:33 (2018)

    Article  Google Scholar 

  12. Larsen, P.G., et al.: Integrated tool chain for model-based design of cyber-physical systems: the INTO-CPS project. In: CPS Data Workshop, April 2016

    Google Scholar 

  13. Ouy, J., et al.: Case Studies 3, Public Version. Technical report, INTO-CPS Public Deliverable, D1.3a, December 2017

    Google Scholar 

  14. Törngren, M., et al.: CPS: State of the Art. Project Deliverable D5.1, EU Framework 7 Project: Cyber-Physical European Roadmap & Strategy (CyPhERS), March 2014

    Google Scholar 

  15. Wetter, M., van Treeck, C.: IEA EBC Annex 60: New Generation Computing Tools for Building and Community Energy Systems, September 2017

    Google Scholar 

Download references

Acknowledgments

This work is supported by the INTO-CPS H2020 project: Integrated Tool Chain for Model-based Design of Cyber-Physical Systems. Funded by the European Commission-H2020, Project Number:664047.

Author information

Authors and Affiliations

  1. United Technologies Research Center, Cork, Ireland

    Luís Diogo Couto, Stylianos Basagiannis, El Hassan Ridouane, Erica Zavaglio & Hajer Saada

  2. Area17, Inc., Oakland, CA, USA

    Pasquale Antonante

  3. ECE Department, Northeastern University, Boston, USA

    Sara Falleni

Authors
  1. Luís Diogo Couto
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Stylianos Basagiannis
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. El Hassan Ridouane
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Erica Zavaglio
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Pasquale Antonante
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Hajer Saada
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Sara Falleni
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Stylianos Basagiannis .

Editor information

Editors and Affiliations

  1. University of Limerick, Limerick, Ireland

    Tiziana Margaria

  2. TU Dortmund, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Diogo Couto, L. et al. (2018). Lessons Learned Using FMI Co-simulation for Model-Based Design of Cyber Physical Systems. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems. ISoLA 2018. Lecture Notes in Computer Science(), vol 11246. Springer, Cham. https://doi.org/10.1007/978-3-030-03424-5_33

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-03424-5_33

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-03423-8

  • Online ISBN: 978-3-030-03424-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation