Controllab Products B.V. (2013). http://www.20sim.com/.
20-sim official website.
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.
Hatledal, L., Zhang, H., and Collonval, F. (2020). Enabling
python driven co-simulation models with pythonfmu.
pages 235–239.
Hatledal, L. I., Styve, A., Hovland, G., and Zhang,
H. (2019). A Language and Platform Independent
Co-Simulation Framework Based on the Functional
Mock-Up Interface. IEEE Access, 7:109328–109339.
Hatledal, L. I., Styve, A., Hovland, G., and Zhang,
H. (2019). A Language and Platform Independent
Co-Simulation Framework Based on the Functional
Mock-Up Interface. IEEE Access, 7:109328–109339.
Conference Name: IEEE Access.
Kulik, T., Macedo, H. D., Talasila, P., and Larsen, P. G.
(2020). Modelling the HUBCAP Sandbox Architec-
ture In VDM – a Study In Security. In Fitzgerald, J. S.
and Oda, T., editors, Proceedings of the 18th Interna-
tional Overture Workshop, pages 20–34. Overture.
Larsen, P. G., Macedo, H. D., Fitzgerald, J., Pfeifer, H.,
Benedikt, M., Tonetta, S., Marguglio, A., Gusmeroli,
S., and Jr., G. S. (2020). An Online MBSE Collabo-
ration Platform. pages 263–270. INSTICC, Proceed-
ings of the 10th International Conference on Simula-
tion and Modeling Methodologies, Technologies and
Applications - Volume 1: SIMULTECH.
Legaard, C. M., Gomes, C., Larsen, P. G., and Foldager,
F. F. (2020). Rapid Prototyping of Self-Adaptive-
Systems using Python Functional Mockup Units.
SummerSim ’20. ACM New York, NY, USA.
Macedo, H. D., Rasmussen, M. B., Thule, C., and Larsen,
P. G. (2020). Migrating the INTO-CPS Application
to the Cloud. In Sekerinski, E., Moreira, N., Oliveira,
J. N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck,
M., Marmsoler, D., Campos, J., Astarte, T., Gonnord,
L., Cerone, A., Couto, L., Dongol, B., Kutrib, M.,
Monteiro, P., and Delmas, D., editors, Formal Meth-
ods. FM 2019 International Workshops, pages 254–
271, LNCS 12233. Springer-Verlag.
Modelica Association (2019). Functional Mock-up Inter-
face for Model Exchange and Co-Simulation. https:
//www.fmi-standard.org/downloads.
Rask, J. K., Madsen, F. P., Battle, N., Macedo, H. D., and
Larsen, P. G. (2020). Visual Studio Code VDM Sup-
port. In Fitzgerald, J. S. and Oda, T., editors, Pro-
ceedings of the 18th International Overture Workshop,
pages 35–49. Overture.
Schranz, T., Alfalouji, Q., Falay, B., Legaard, C., Wilfling,
S., and Schweiger, G. (2021). Coupling physical and
machine learning models: Case study of a residential
building. In 14th International Modelica Conference
(Submitted Manuscript).
Schweiger, G., Gomes, C., Engel, G., Hafner, I., Sch
¨
oggl,
J.-P., Posch, A., and Nouidui, T. (2019). Functional
Mock-up Interface: An empirical survey identifies re-
search challenges and current barriers.
Simulink09 (2009). Simulink - Sim-
ulation and Model-Based Design.
http://www.mathworks.com/products/simulink/.
Talasila, P., Sanjari, A., Villadsen, K., Thule, C., Larsen,
P. G., and Macedo, H. D. (2020). Introducing Test
Driven Development and Upgrades to the INTO-CPS
Application. In Cleophas, L. and Massink, M., editors,
Software Engineering and Formal Methods. SEFM
2020 Collocated Workshops, pages 311–317, Cham.
Springer International Publishing.
Thule, C., Lausdahl, K., Gomes, C., Meisl, G., and Larsen,
P. G. (2019a). Maestro: The INTO-CPS co-simulation
framework. Simulation Modelling Practice and The-
ory, 92:45–61.
Thule, C., Lausdahl, K., and Larsen, P. G. (2018). Over-
ture FMU: Export VDM-RT Models as Tool-Wrapper
FMUs. In Pierce, K. and Verhoef, M., editors, The
16th Overture Workshop, pages 23–38, Oxford. New-
castle University, School of Computing. TR-1524.
Thule, C., Palmieri, M., Gomes, C., Lausdahl, K., Macedo,
H. D., Battle, N., and Larsen, P. G. (2019b). To-
wards Reuse of Synchronization Algorithms in Co-
simulation Frameworks. In Co-Sim-19 workshop.
Widl, E., M
¨
uller, W., Elsheikh, A., H
¨
ortenhuber, M., and
Palensky, P. (2013). The FMI++ library: A high-
level utility package for FMI for model exchange.
In 2013 Workshop on Modeling and Simulation of
Cyber-Physical Energy Systems (MSCPES), pages 1–
6.
A Universal Mechanism for Implementing Functional Mock-up Units
129