![](bg8.png)
enabling true collaboration between different partici-
pating organisations, alongside and as a result of the
open calls. We envisage that the HUBCAP Platform
may be conveniently hosted at standard cloud oper-
ators as well as on servers at large companies with
many suppliers such that they can be in full control
of the development of the collaboration around larger
CPSs such as automobiles and airplanes.
ACKNOWLEDGEMENTS
The work presented here is partially supported by the
HUBCAP Innovation Action funded by the European
Commission’s Horizon 2020 Programme under Grant
Agreement 872698. We would also like to thank
Giuseppe Veneziano for his input and snapshots of
the Cloud Sandbox prototype, and Nick Battle, Clau-
dio Gomes and the reviewers for their comments on
drafts of this paper.
REFERENCES
Beckers, J., Heemels, M., Bukkems, B., and Muller, G.
(2007). Effective industrial modeling: The example
of happy flow. In Heemels, M. and Muller, G., ed-
itors, Boderc: Model-based design of high-tech sys-
tems, chapter 6, pages 77–88. Embedded Systems In-
stitute, Den Dolech 2, Eindhoven, The Netherlands,
second edition.
Blochwitz, T. (2014). Functional Mock-up Interface for
Model Exchange and Co-Simulation. https://www.
fmi-standard.org/downloads.
Bozzano, M., Cimatti, A., Pires, A. F., Jones, D., Kim-
berly, G., Petri, T., Robinson, R., and Tonetta, S.
(2015). Formal Design and Safety Analysis of
AIR6110 Wheel Brake System. In CAV, pages 518–
535.
Cook, N. (2008). Enterprise 2.0: How social software will
change the future of work. Gower Publishing Limited.
De Prato, G., Nepelski, D., Piroli, G., et al. (2015). In-
novation Radar: Identifying Innovations and Innova-
tors with High Potential in ICT FP7, CIP & H2020
Projects. Science and Policy Report, Joint Research
Centre.
Fritzson, P. (2015). Principles of Object-Oriented Modeling
and Simulation with Modelica 3.3: A Cyber-Physical
Approach. IEEE Press. Wiley, 2 edition.
Gomes, C., Thule, C., Broman, D., Larsen, P. G., and
Vangheluwe, H. (2018). Co-simulation: a Survey.
ACM Comput. Surv., 51(3):49:1–49:33.
Jomaa, N., Nowak, D., Grimaud, G., and Hym, S. (2018).
Formal proof of dynamic memory isolation based on
mmu. Science of Computer Programming, 162:76–92.
Kainz, O., Jakab, F., Michalko, M., Hud
´
ak, M., and Petija,
R. (2019). Enhanced approaches to automated mon-
itoring environmental quality in non-isolated thermo-
dynamic system. IFAC-PapersOnLine, 52(27):365–
376.
Larsen, P. G., Fitzgerald, J., Woodcock, J., Fritzson, P.,
Brauer, J., Kleijn, C., Lecomte, T., Pfeil, M., Green,
O., Basagiannis, S., and Sadovykh, A. (2016). Inte-
grated Tool Chain for Model-based Design of Cyber-
Physical Systems: The INTO-CPS Project. In CPS
Data Workshop, Vienna, Austria.
Macedo, H. D. and Touili, T. (2013). Mining malware
specifications through static reachability analysis. In
European Symposium on Research in Computer Se-
curity, pages 517–535, Berlin, Heidelberg. Springer,
Springer Berlin Heidelberg.
Mansfield, M., Gamble, C., Pierce, K., Fitzgerald, J., Foster,
S., Thule, C., and Nilsson, R. (2017). Examples com-
pendium 3. Technical report, The INTO-CPS Project.
Rasmussen, M. B., Thule, C., Macedo, H. D., and Larsen,
P. G. (2019). Migrating the INTO-CPS Application to
the Cloud. In Gamble, C. and Couto, L. D., editors,
The 17th Overture workshop, pages 47–61, Porto,
Portugal. Newcastle University Technical Report Se-
ries. CS-TR-1530.
S-18 Aircraft and Sys Dev and Safety Assessment Commit-
tee (2011). AIR 6110, Contiguous Aircraft/System
Development Process Example. Standard, SAE Inter-
national.
Suciu, G., Istrate, C., Petrache, A., Schlachet, D., and
Buteau, T. (2018). On demand secure isolation us-
ing security models for different system management
platforms. In Advanced Topics in Optoelectronics,
Microelectronics, and Nanotechnologies IX, volume
10977, page 109770R. International Society for Op-
tics and Photonics.
Suciu, G., Necula, L., Iosu, R., Usurelu, T., and Ceaparu,
M. (2019). Iot and cloud-based energy monitoring and
simulation platform. In 2019 11th International Sym-
posium on Advanced Topics in Electrical Engineering
(ATEE), pages 1–4. IEEE.
Sztipanovits, J., Bapty, T., Neema, S., Koutsoukos, X., and
Jackson, E. (2015). Design Tool Chain for Cyber-
physical Systems: Lessons Learned. In Proceedings
of the 52nd Annual Design Automation Conference,
DAC ’15, pages 81:1–81:6, New York, NY, USA.
ACM.
Van der Auweraer, H., Anthonis, J., De Bruyne, S., and
Leuridan, J. (2013). Virtual engineering at work: the
challenges for designing mechatronic products. Engi-
neering with Computers, 29(3):389–408.
SIMULTECH 2020 - 10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
270