Migrating the INTO-CPS Application to the Cloud

Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer 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.

OriginalsprogEngelsk
TitelFormal Methods : FM 2019 International Workshops
RedaktørerEmil 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
Antal sider18
UdgivelsesstedCham
ForlagSpringer
Udgivelsesår2020
Sider254-271
ISBN (trykt)978-3-030-54996-1
ISBN (Elektronisk)978-3-030-54997-8
DOI
StatusUdgivet - 2020
BegivenhedFM 2019 International Workshops - Porto, Portugal
Varighed: 9 okt. 201911 okt. 2019

Konference

KonferenceFM 2019 International Workshops
LandPortugal
ByPorto
Periode09/10/201911/10/2019
SerietitelLecture Notes in Computer Science
Vol/bind12233
ISSN0302-9743

Se relationer på Aarhus Universitet Citationsformater

ID: 196429485