1. Biondi, A., Marinoni, M., Buttazzo, G., Scordino, C., Gai, P.: Challenges in virtualizing safety-critical cyber-physical systems. In: Proceedings of Embedded World Conference 2018, pp. 1–5 (2018)
2. Cao, H.: Research on Communication Between Virtual Machines Based on Soft-RoCE in Jailhouse. Master’s thesis, Lanzhou University (2022)
3. Corbet, J.: Linux in mixed-criticality systems. https://lwn.net/Articles/774217/. Accessed 7 June 2023
4. Corbet, J.: Safety-critical realtime with linux. https://lwn.net/Articles/734694/. Accessed 7 June 2023
5. Druschel, P.: A high-bandwidth cross-domain transfer facility. In: Proceedings of the 14th ACM Symposium on Operating Systems Principles 1993 (1993)