Migrating the INTO-CPS Application to the Cloud

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

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.

Original languageEnglish
Title of host publicationFormal Methods : FM 2019 International Workshops
EditorsEmil Sekerinski, Nelma Moreira, Jose N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, Jose Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
Number of pages18
Place of publicationCham
PublisherSpringer
Publication year2020
Pages254-271
ISBN (print)978-3-030-54996-1
ISBN (Electronic)978-3-030-54997-8
DOIs
Publication statusPublished - 2020
EventFM 2019 International Workshops - Porto, Portugal
Duration: 9 Oct 201911 Oct 2019

Conference

ConferenceFM 2019 International Workshops
LandPortugal
ByPorto
Periode09/10/201911/10/2019
SeriesLecture Notes in Computer Science
Volume12233
ISSN0302-9743

See relations at Aarhus University Citationformats

ID: 196429485