Architectural Frameworks for Deterministic Mixed-Criticality Systems: Integrating Virtualization, Memory Isolation, and Fault-Tolerant Zonal Control in Modern DriveOS
Abstract
The transition toward highly integrated, software-defined vehicles and autonomous systems has necessitated a paradigm shift in embedded architecture. Modern DriveOS environments require the simultaneous execution of safety-critical control tasks and data-intensive infotainment or diagnostic applications on a single hardware platform. This research article provides a comprehensive investigation into the integration of virtualization, memory hierarchy protection, and fault-tolerant hardware designs to achieve deterministic performance in mixed-criticality systems. By synthesizing advanced scheduling methodologies, such as the ARINC 653 and PREEMPT_RT frameworks, with hardware-level interventions like cache coloring, bank isolation, and dual-core lockstep architectures, we propose a multi-layered approach to temporal and spatial isolation. We analyze the efficacy of hypervisors, specifically Xen and Jailhouse, in managing ARM-based platforms equipped with virtualization extensions. Furthermore, the study explores the role of programmable logic and dynamic DRAM pipelining in mitigating inter-core interference. Our findings suggest that while software-based partitioning is essential, true determinism in zonal controllers requires a synergy between hardware Quality of Service (QoS) controls and requirement-aware memory regulation. The article concludes with a detailed discussion on certification considerations, such as DO-178C and the Ravenscar profile, ensuring that integrated vehicle management systems remain resilient under peak computational stress and transient hardware faults.
Keywords
Mixed-Criticality Systems, DriveOS, Virtualization, Cache Coloring
References
- Abdul Salam Abdul Karim. (2023). Fault-Tolerant Dual-Core Lockstep Architecture for Automotive Zonal Controllers Using NXP S32G Processors. International Journal of Intelligent Systems and Applications in Engineering, 11(11s), 877–885. Retrieved from https://ijisae.org/index.php/IJISAE/article/view/7749
- Burns Alan, Dobbing Brian, Vardanega Tullio. Guide for the use of the ada ravenscar profile in high integrity systems. Ada Lett., XXIV (2) (2004), pp. 1-74.
- Hoozemans Joost, van Straten Jeroen, Wong Stephan. Increasing resource utilization in mixed-criticality systems using a polymorphic VLIW processor. J. Syst. Archit., 84 (2018), pp. 2-11.
- Lemerre Matthieu, Ohayon Emmanuel, Chabrol Damien, Jan Mathieu, Jacques Marie-Benedicte. Method and Tools for Mixed-Criticality Real-Time Applications within PharOS, in: 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2011, pp. 41–48.
- Mirosanlou R, Hassan M, Pellizzoni R (2020) Drambulism: Balancing performance and predictability through dynamic pipelining. In: 2020 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), pp 82–9.
- Modica P, Biondi A, Buttazzo G, et al (2018) Supporting temporal and spatial isolation in a hypervisor for arm multicore platforms. In: 2018 IEEE International Conference on Industrial Technology (ICIT), pp 1651–165.
- Nicolella M, Roozkhosh S, Hoornaert D, et al (2022) Rt-bench: An extensible benchmark framework for the analysis and management of real-time applications. In: Proceedings of the 30th International Conference on Real-Time Networks and Systems. Association for Computing Machinery, New York, NY, USA, RTNS 2022, p 184–19.
- Roozkhosh S, Mancuso R (2020) The potential of programmable logic in the middle: Cache bleaching. In: 2020 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), pp 296–30.
- RTCA Inc. (2011) RTCA/DO-178C Software Consideration in Airborne Systems and Equipment Certification.
- Saeed A, Dasari D, Ziegenbein D, et al (2022) Memory Utilization-Based Dynamic Bandwidth Regulation for Temporal Isolation in Multi-Cores. In: 2022 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), p 133–145.
- Schwaericke G, Tabish R, Pellizzoni R, et al (2021) A Real-Time virtio-based Framework for Predictable Inter-VM Communication. In: 2021 IEEE International Real-Time Systems Symposium (RTSS).
- Serrano-Cases A, Reina JM, Abella J, et al (2021) Leveraging Hardware QoS to Control Contention in the Xilinx Zynq UltraScale+ MPSoC. In: 33rd Euromicro Conference on Real-Time Systems (ECRTS 2021), Leibniz International Proceedings in Informatics (LIPIcs), vol 196. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl, Germany, pp 3:1–3:2.
- Siemens AG (2023) Jailhouse hypervisor. https://github.com/siemens/jailhouse.
- Sinha S., West R. Towards an integrated vehicle management system in driveos. Trans. Embedd. Comput. Syst., 20 (5s) (2021), pp. 1-24.
- Sohal P, Tabish R, Drepper U, et al (2020) E-WarP: A System-wide Framework for Memory Bandwidth Profiling and Management. In: 2020 IEEE Real-Time Systems Symposium (RTSS).
- St L., Wold S., et al. Analysis of variance (anova). Chemometr. Intell. Laboratory Syst., 6 (4) (1989), pp. 259-272.
- Stabellini S. Xen arm with virtualization extensions white paper (2014).
- Suzuki N., Kim H., De Niz D., Andersson B., Wrage L., Klein M., Rajkumar R. Coordinated bank and cache coloring for temporal protection of memory accesses. International Conference on Computational Science and Engineering, IEEE (2013), pp. 685-692.
- The Linux Foundation (2015). XenBus. https://wiki.xenproject.org/wiki/XenBus.
- The Linux Foundation (2018). The Automotive Grade Linux Software Defined Connected Car Architecture. White Paper.
- The Linux Foundation (2022a). Arinc 653 scheduler - xen. https://wiki.xenproject.org/wiki/ARINC653_Scheduler.
- The Linux Foundation (2022b). Technical details of preempt_Rt patch. https://wiki.linuxfoundation.org/realtime/documentation/technical_details/start.
- The Linux Foundation (2023). Xen Project 4.18 Feature List. https://wiki.xenproject.org/wiki/Xen_Project_4.18_Feature_List.
- The Linux Foundation (2024). Cyclictest. https://wiki.linuxfoundation.org/realtime/documentation/howto/tools/cyclictest/start.
- The Linux Foundation (2024). Homepage of LF Edge Foundation. https://elisa.tech/.
- Urueña Santiago, Pulido José A., López Jorge, Zamorano Juan, de la Puente Juan A. A new approach to memory partitioning in on-board spacecraft software. Reliable Software Technologies – Ada-Europe 2008, Springer Berlin Heidelberg, Berlin, Heidelberg (2008), pp. 1-14.
- Zimmer Michael, Broman David, Shaver Chris, Edward A. Lee. FlexPRET: A processor platform for mixed-criticality systems, in: 2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium, RTAS, 2014, pp. 101–110.
- Zubin Hu, Jianchao Luo, Xiyu Fang, Kun Xiao, Bitao Hu, Lirong Chen. Real-time Schedule Algorithm with Temporal and Spatial Isolation Feature for Mixed Criticality System, in: 2021 7th International Symposium on System and Software Reliability, ISSSR, 2021, pp. 99–108.