Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Migrating the INTO-CPS Application to the Cloud

  • Conference paper
  • First Online:
Formal Methods. FM 2019 International Workshops (FM 2019)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 12233))

Included in the following conference series:

Abstract

The INTO-CPS Application is a common interface used to access and manipulate different model-based artefacts produced by the INTO-CPS tool chain during the development of a cyber-physical system. The application was developed during the INTO-CPS project. It uses web-technologies on top of the Electron platform, and it requires local installation and configuration on each user local machine. In this paper, we present a cloud-based version of the INTO-CPS Application which was developed while researching the potential of cloud technologies to support the INTO-CPS tool chain environment. The proposed application has the advantage that no configuration or installation on a local machine is needed. It makes full usage of the cloud resource management, and its architecture allows for a local machine version, keeping the current local approach option open.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

Similar content being viewed by others

Notes

  1. 1.

    https://electronjs.org/.

  2. 2.

    into-cps-app-3.4.9-win32-x64.zip.

  3. 3.

    https://www.modelio.org/about-modelio/features.html.

  4. 4.

    Note that currently none of the modelling and simulation tools have been migrated, but it is envisaged the HUBCAP project (see http://hubcap.au.dk) will establish a collaboration platform in the cloud where this could be possible.

  5. 5.

    https://docs.docker.com/get-started.

  6. 6.

    See https://angular.io/.

  7. 7.

    https://www.nginx.com/resources/glossary/nginx.

  8. 8.

    https://docs.docker.com/compose/.

  9. 9.

    https://docs.aws.amazon.com/AWSEC2/latest/UserGuide/concepts.html.

References

  1. Battle, N., Thule, C., Gomes, C., Macedo, H.D., Larsen, P.G.: Towards static check of FMUs in VDM-SL. In: Gamble, C., Couto, L.D. (eds.) The 17th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering. Newcastle University Technical Report Series CS-TR-1530, Porto, Portugal, pp. 17–31, October 2019

    Google Scholar 

  2. Brosse, E., Quadri, I.: SysML and FMI in INTO-CPS: Integrated Tool chain for model-based design of Cyber Physical Systems, p. 37, December 2017

    Google Scholar 

  3. Couto, L.D., Basagiannis, S., Ridouane, E.H., Mady, A.E.-D., Hasanagic, M., Larsen, P.G.: Injecting formal verification in FMI-based co-simulations of cyber-physical systems. In: Cerone, A., Roveri, M. (eds.) SEFM 2017. LNCS, vol. 10729, pp. 284–299. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-74781-1_20

    Chapter  Google Scholar 

  4. Fitzgerald, J., Gamble, C., Larsen, P.G., Pierce, K., Woodcock, J.: Cyber-physical systems design: formal foundations, methods and integrated tool chains. In: FormaliSE: FME Workshop on Formal Methods in Software Engineering, ICSE 2015, Florence, Italy, May 2015

    Google Scholar 

  5. 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: Proceedings of INCOSE International Symposium on Systems Engineering, Edinburgh, Scotland, July 2016

    Google Scholar 

  6. Fitzgerald, J., Gamble, C., Payne, R., Larsen, P.G., Basagiannis, S., Mady, A.E.D.: Collaborative model-based systems engineering for cyber-physical systems, with a building automation case study. In: INCOSE International Symposium, vol. 26, no. 1, pp. 817–832 (2016)

    Google Scholar 

  7. Fitzgerald, J., Larsen, P.G., Pierce, K.: Multi-modelling and co-simulation in the engineering of cyber-physical systems: towards the digital twin. In: ter Beek, M.H., Fantechi, A., Semini, L. (eds.) From Software Engineering to Formal Methods and Tools, and Back. LNCS, vol. 11865, pp. 40–55. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-30985-5_4

    Chapter  Google Scholar 

  8. Foldager, F., Larsen, P.G., Green, O.: Development of a driverless lawn mower using co-simulation. In: 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, Trento, Italy, September 2017

    Google Scholar 

  9. Gamble, C.: Design Space Exploration in the INTO-CPS Platform: Integrated Tool chain for model-based design of Cyber Physical Systems. Aarhus University, October 2016

    Google Scholar 

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

    Google Scholar 

  11. Larsen, P.G., Fitzgerald, J., Woodcock, J., Gamble, C., Payne, R., Pierce, K.: Features of integrated model-based co-modelling and co-simulation technology. In: Cerone, A., Roveri, M. (eds.) SEFM 2017. LNCS, vol. 10729, pp. 377–390. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-74781-1_26

    Chapter  Google Scholar 

  12. Larsen, P.G., Fitzgerald, J., Woodcock, J., Lecomte, T.: Trustworthy Cyber-Physical Systems Engineering, Chapter 8: collaborative modelling and simulation for cyber-physical systems. Chapman and Hall/CRC, September 2016. ISBN 9781498742450

    Google Scholar 

  13. Larsen, P.G., Fitzgerald, J., Woodcock, J., Nilsson, R., Gamble, C., Foster, S.: Towards semantically integrated models and tools for cyber-physical systems design. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 171–186. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-47169-3_13

    Chapter  Google Scholar 

  14. Legaard, C.M., Thule, C., Larsen, P.G.: Towards Graphical Configuration in the INTO-CPS Application. In: Gamble, C., Couto, L.D. (eds.) The 17th Overture Workshop. Newcastle University TR CS-TR-1530, Porto, Portugal, pp. 1–16, October 2019

    Google Scholar 

  15. Macedo, H., Nilsson, R., Larsen, P.: The harvest coach architecture: embedding deviation-tolerance in a harvest logistic solution. Computers 8(2), 31 (2019)

    Article  Google Scholar 

  16. Macedo, H.D., Touili, T.: Mining malware specifications through static reachability analysis. In: Crampton, J., Jajodia, S., Mayes, K. (eds.) ESORICS 2013. LNCS, vol. 8134, pp. 517–535. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-40203-6_29

    Chapter  Google Scholar 

  17. Neghina, M., Zamrescu, C.B., Larsen, P.G., Lausdahl, K., Pierce, K.: A discrete event-first approach to collaborative modelling of cyber-physical systems. In: Fitzgerald, T.O. (ed.) The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering. Newcastle University, Computing Science. Technical Report Series. CS-TR- 1513, Newcastle, UK, pp. 116–129, September 2017

    Google Scholar 

  18. Pedersen, N., Lausdahl, K., Sanchez, E.V., Larsen, P.G., Madsen, J.: Distributed co-simulation of embedded control software with exhaust gas recirculation water handling system using INTO-CPS. In: Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2017), Madrid, Spain, pp. 73–82, July 2017. ISBN 978-989-758-265-3

    Google Scholar 

  19. Rasmussen, M.B.: A process for migrating desktop applications to the cloud. Master’s thesis, Aarhus University, Department of Engineering, June 2019

    Google Scholar 

  20. Thule, C., Lausdahl, K., Gomes, C., Meisl, G., Larsen, P.G.: Maestro: The INTO-CPS co-simulation framework. Simul. Modell. Pract. Theory 92, 45–61 (2019). http://www.sciencedirect.com/science/article/pii/S1569190X1830193X

  21. Thule, C., et al.: Towards reuse of synchronization algorithms in co-simulation frameworks. In: Co-Sim-19 workshop, September 2019

    Google Scholar 

Download references

Acknowledgements

We would like to thank all stakeholders that have been involved in the development of the INTO-CPS Application. We acknowledge the EU for funding the INTO-CPS project (grant agreement number 644047) which was the original source of funding for the INTO-CPS Application. We are also grateful to the Poul Due Jensen Foundation, which has supported the establishment of a new Centre for Digital Twin Technology at Aarhus University, which will take forward the principles, tools and applications of the engineering of digital twins. Finally, we would like to thank Nick Battle and the anonymous reviewers for valuable feedback on earlier versions of this paper.

Author information

Authors and Affiliations

  1. DIGIT, Department of Engineering, Aarhus University, Aarhus, Denmark

    Hugo Daniel Macedo, Mikkel Bayard Rasmussen, Casper Thule & Peter Gorm Larsen

Authors
  1. Hugo Daniel Macedo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mikkel Bayard Rasmussen
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Casper Thule
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Peter Gorm Larsen
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Hugo Daniel Macedo .

Editor information

Editors and Affiliations

  1. McMaster University, Hamilton, ON, Canada

    Emil Sekerinski

  2. University of Porto, Porto, Portugal

    Nelma Moreira

  3. University of Minho, Braga, Portugal

    José N. Oliveira

  4. Argo Ai, Munich, Germany

    Daniel Ratiu

  5. University of Pisa, Pisa, Italy

    Riccardo Guidotti

  6. University of Liverpool, Liverpool, UK

    Marie Farrell

  7. University of Liverpool, Liverpool, UK

    Matt Luckcuck

  8. University of Exeter, Exeter, UK

    Diego Marmsoler

  9. University of Minho, Braga, Portugal

    José Campos

  10. University of Newcastle, Newcastle upon Tyne, UK

    Troy Astarte

  11. Claude Bernard University, Lyon, France

    Laure Gonnord

  12. Nazarbayev University, Nur-Sultan, Kazakhstan

    Antonio Cerone

  13. University of Surrey, Guildford, UK

    Luis Couto

  14. University of Surrey, Guildford, UK

    Brijesh Dongol

  15. University of Giessen, Giessen, Germany

    Martin Kutrib

  16. University of Lisbon, Lisbon, Portugal

    Pedro Monteiro

  17. Airbus Operations S.A.S., Toulouse, France

    David Delmas

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Macedo, H.D., Rasmussen, M.B., Thule, C., Larsen, P.G. (2020). Migrating the INTO-CPS Application to the Cloud. In: Sekerinski, E., et al. Formal Methods. FM 2019 International Workshops. FM 2019. Lecture Notes in Computer Science(), vol 12233. Springer, Cham. https://doi.org/10.1007/978-3-030-54997-8_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-54997-8_17

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-54996-1

  • Online ISBN: 978-3-030-54997-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation