Migrating the INTO-CPS Application to the Cloud

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.

[1]  Alie El-Din Mady,et al.  Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems , 2017, SEFM Workshops.

[2]  Nicolai Pedersen,et al.  Distributed Co-Simulation of Embedded Control Software with Exhaust Gas Recirculation Water Handling System using INTO-CPS , 2017, SIMULTECH.

[3]  Jim Woodcock,et al.  Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project , 2016, 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data).

[4]  Peter Gorm Larsen,et al.  Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital Twin , 2019, From Software Engineering to Formal Methods and Tools, and Back.

[5]  Hugo Daniel Macedo,et al.  Mining Malware Specifications through Static Reachability Analysis , 2013, ESORICS.

[6]  Alie El-Din Mady,et al.  Collaborative Model‐based Systems Engineering for Cyber‐Physical Systems, with a Building Automation Case Study , 2016 .

[7]  Casper Thule,et al.  Maestro: The INTO-CPS co-simulation framework , 2019, Simul. Model. Pract. Theory.

[8]  Jim Woodcock,et al.  Features of Integrated Model-Based Co-modelling and Co-simulation Technology , 2017, SEFM Workshops.

[9]  Peter Gorm Larsen,et al.  Development of a Driverless Lawn Mower Using Co-simulation , 2017, SEFM Workshops.

[10]  Nick Battle,et al.  Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks , 2019, SEFM Workshops.

[11]  Jim Woodcock,et al.  Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains , 2015, 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering.

[12]  Hugo Daniel Macedo,et al.  The Harvest Coach Architecture: Embedding Deviation-Tolerance in a Harvest Logistic Solution , 2019, Comput..

[13]  Simon Foster,et al.  Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design , 2016, ISoLA.

[14]  Peter Gorm Larsen,et al.  A Discrete Event-first Approach to Collaborative Modelling of Cyber-Physical Systems , 2018 .