Top

Published in:

2020 | OriginalPaper | Chapter

Migrating the INTO-CPS Application to the Cloud

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

Published in: Formal Methods. FM 2019 International Workshops

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

previous chapter Exploring Human Behaviour in Cyber-Physical Systems with Multi-modelling and Co-simulation

next chapter Towards a Static Check of FMUs in VDM-SL

https://electronjs.org/.

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

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

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.

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

See https://angular.io/.

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

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

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

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

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

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_20CrossRef

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

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

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)

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_4CrossRef

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

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

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

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_26CrossRef

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

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_13CrossRef

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

15.

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

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_29CrossRef

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

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

19.

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

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

Title: Migrating the INTO-CPS Application to the Cloud
Authors: Hugo Daniel Macedo
Mikkel Bayard Rasmussen
Casper Thule
Peter Gorm Larsen
Publisher: Springer International Publishing
Book: Formal Methods. FM 2019 International Workshops
Print ISBN: 978-3-030-54996-1

Electronic ISBN: 978-3-030-54997-8

Copyright Year: 2020
DOI: https://doi.org/10.1007/978-3-030-54997-8_17

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner