RMQFMU: Bridging the Real World with Co-simulation Technical Report

In this paper we present an experience report for the RMQFMU, a plug and play tool, that enables feeding data to/from an FMI2based co-simulation environment based on the AMQP protocol. Bridging the co-simulation to an external environment allows on one side to feed historical data to the co-simulation, serving different purposes, such as visualisation and/or data analysis. On the other side, such a tool facilitates the realisation of the digital twin concept by coupling co-simulation and hardware/robots close to real-time. In the paper we present limitations of the initial version of the RMQFMU with respect to the capability of bridging co-simulation with the real world. To provide the desired functionality of the tool, we present in a step-by-step fashion how these limitations, and subsequent limitations, are alleviated. We perform various experiments in order to give reason to the modifications carried out. Finally, we report on two case-studies where we have adopted the RMQFMU, and provide guidelines meant to aid practitioners in its use.

[1]  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).

[2]  Ayan Banerjee,et al.  Ensuring Safety, Security, and Sustainability of Mission-Critical Cyber–Physical Systems , 2012, Proceedings of the IEEE.

[3]  David Broman,et al.  Co-Simulation , 2018, ACM Comput. Surv..

[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]  Wayne H. Wolf,et al.  Cyber-physical Systems , 2009, Computer.

[6]  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.

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

[8]  Peter Gorm Larsen,et al.  Co-modelling and co-simulation in the engineering of systems of cyber-physical systems , 2014, 2014 9th International Conference on System of Systems Engineering (SOSE).