Evaluation of Adaptive Partitioning and Real-Time Capability for Virtualization With Xen Hypervisor

被引:6
作者
Schulz, Bernd [1 ]
Annighoefer, Bjorn [1 ]
机构
[1] Univ Stuttgart, Inst Aircraft Syst, D-70569 Stuttgart, Germany
关键词
Virtual machine monitors; Virtualization; Hardware; Real-time systems; Aerospace electronics; Benchmark testing; Computer architecture; Adaptive avionics; hypervisor; real time (RT); safety critical; Xen;
D O I
10.1109/TAES.2021.3104941
中图分类号
V [航空、航天];
学科分类号
08 ; 0825 ;
摘要
In this article, the fundamental suitability of the open-source hypervisor Xen for safety-critical real-time application is analyzed. In the field of avionics, satisfying criteria such as safety criticality and real-time capability are mandatory and pose one of the greatest challenges when developing systems and functions that are to be qualified for the installation in passenger aircraft. System architectures that additionally aspire adaptive behavior in terms of self-configuration and reconfiguration complicate these challenges even more. Spatial and temporal partitioning is a fundamental requirement for the implementation of safety-critical systems but is of static behavior in current avionic standards such as A653. Implementing a fully functional partitioning that is able to reconfigure during runtime would be a great leap forward in the field of adaptive avionics. The open-source hypervisor Xen offers features to dynamically create and manage virtual machines that natively come with architecture-related segregation. In order to determine the feasibility of Xen in the field of safety-critical real-time application, its spatial and temporal partitioning capabilities and occurring latencies are analyzed in this article. The analysis is based on specifically designed benchmarks that measure the accuracy of periodic task execution with different system load levels featuring various Xen schedulers and guest operating system kernels. The overall results for the spatial partitioning and real-time capabilities turn out to be promising but remain with minor interferences, varying based on the setup benchmarking configuration. The temporal partitioning enforced by Xen remains with clearly identified and fixable issues before a deterministic function execution in hard real time is reached.
引用
收藏
页码:206 / 217
页数:12
相关论文
共 26 条
  • [1] Challenges and Ways Forward for Avionics Platforms and their Development in 2019
    Annighoefer, Bjoern
    Halle, Martin
    Schweiger, Andreas
    Reich, Marina
    Watkins, Christopher
    VanderLeest, Steven H.
    Harwarth, Stefan
    Deiber, Patrick
    [J]. 2019 IEEE/AIAA 38TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2019,
  • [2] [Anonymous], 2020, CACH COL INT FREE RE
  • [3] [Anonymous], 2012, HYP 5 TERM HOST OP S
  • [4] FPGA-Centric Design Process for Avionic Simulation and Test
    Ben Atitallah, Rabie
    Visinanathan, Venkatasubramanian
    Belanger, Nicolas
    Dekeyser, Jean-Luc
    [J]. IEEE TRANSACTIONS ON AEROSPACE AND ELECTRONIC SYSTEMS, 2018, 54 (03) : 1047 - 1065
  • [5] Bigelow S. J, 2019, SEARCHSERVERVIRTUALI
  • [6] Bose M., 2018, HYPERV 5 VIRTUALBOX
  • [7] Crespo A., 2010, Proceedings of the 2010 Eighth European Dependable Computing Conference (EDCC 2010), P67, DOI 10.1109/EDCC.2010.18
  • [8] Fayyad H., 2013, J EMBEDDED SYST APPL, V3, P19
  • [9] Fayyad-Kazan H., 2013, Journal of Emerging Trends in Computing and Information Sciences, V4, P719
  • [10] Federwisch M, 2019, VIRTUALISATION TECHN