Design and implementation of a virtual ARINC 653 simulation platform

The ARINC 653 operation system is currently widely adopted in the avionics industry, and has become the mainstream architecture in avionics applications because of its strong agility and reliability. Although ARINC 653 can efficiently reduce the weight and energy consumption, it results in a serious development and verification problem for avionics systems. As ARINC 653 is non-open source software and lacks effective support for software testing and debugging, it is of great significance to build a real-time simulation platform for ARINC 653 on general-purpose operating systems, improving the efficiency and effectiveness of system development and implementation. In this paper, a virtual ARINC 653 platform is designed and realized by using real-time simulation technology. The proposed platform is composed of partition management, communication management, and health monitoring management, provides the same operation interfaces as the ARINC 653 system, and allows dynamic debugging of avionics applications without requiring the actual presence of real devices. Experimental results show that the platform not only simulates the functionalities of ARINC 653, but also meets the real-time requirements of avionics applications.

[1]  Fei Xie,et al.  Scheduling non-preemptive tasks with strict periods in multi-core real-time systems , 2018, J. Syst. Archit..

[2]  Chenglie Du,et al.  Real-time digital simulator for distributed systems , 2021, Simul..

[3]  L. K. Rierson.  Best practices for certifying IMA systems in civil aircraft , 2010 .

[4]  Xianfeng Li,et al.  Chronos: A timing analyzer for embedded software , 2007, Sci. Comput. Program..

[5]  Yu Chen,et al.  CFS Optimizations to KVM Threads on Multi-Core Environment , 2009, 2009 15th International Conference on Parallel and Distributed Systems.

[6]  Hessam S. Sarjoughian,et al.  Action-level real-time DEVS modeling and simulation , 2015, Simul..

[7]  Junlong Zhou,et al.  Security-Critical Energy-Aware Task Scheduling for Heterogeneous Real-Time MPSoCs in IoT , 2020, IEEE Transactions on Services Computing.

[8]  Steven H. VanderLeest,et al.  ARINC 653 hypervisor , 2010, 29th Digital Avionics Systems Conference.

[9]  Balakrishna J. Prabhu,et al.  Strictly periodic scheduling in IMA-based architectures , 2012, Real-Time Systems.

[10]  Zhengjun Zhai,et al.  Kernel-Level Design to Support Partitioning and Hierarchical Real-Time Scheduling of ARINC 653 for VxWorks , 2014, 2014 IEEE 12th International Conference on Dependable, Autonomic and Secure Computing.

[11]  Du Chenglie,et al.  Design of major time frame for ARINC 653 partitioned real-time systems , 2016 .

[12]  Jinchao Chen,et al.  A Universal and Configurable Simulator for Distributed Systems , 2018, 2018 2nd IEEE Advanced Information Management,Communicates,Electronic and Automation Control Conference (IMCEC).

[13]  Fei Xie,et al.  Schedulability analysis of non-preemptive strictly periodic tasks in multi-core real-time systems , 2015, Real-Time Systems.

[14]  Pengyi Zheng.  Design and Implementation of a Real-time Publish/Subscribe Middleware , 2019 .

[15]  Jin Sun,et al.  Resource Management for Improving Soft-Error and Lifetime Reliability of Real-Time MPSoCs , 2019, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[16]  Giorgio C. Buttazzo,et al.  Integrating multimedia applications in hard real-time systems , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

[17]  Jinchao Chen,et al.  Scheduling Independent Partitions in Integrated Modular Avionics Systems , 2016, PloS one.

[18]  Paolo Bellavista,et al.  Data Distribution Service (DDS): A performance comparison of OpenSplice and RTI implementations , 2013, 2013 IEEE Symposium on Computers and Communications (ISCC).

[19]  Lui Sha,et al.  Optimized scheduling of multi-IMA partitions with exclusive region for synchronized real-time multi-core systems , 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[20]  Patrick Cousot,et al.  Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software , 2002, The Essence of Computation.

[21]  Zonghua Gu,et al.  A State-of-the-Art Survey on Real-Time Issues in Embedded Systems Virtualization , 2012 .

[22]  Jens Palsberg,et al.  Testing versus Static Analysis of Maximum Stack Size , 2013, 2013 IEEE 37th Annual Computer Software and Applications Conference.

[23]  Rolf Ernst,et al.  Exploiting sporadic servers to provide budget scheduling for ARINC653 based real-time virtualization environments , 2017, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017.

[24]  Jinchao Chen,et al.  Work-in-Progress: Non-preemptive Scheduling of Periodic Tasks with Data Dependency Upon Heterogeneous Multiprocessor Platforms , 2019, 2019 IEEE Real-Time Systems Symposium (RTSS).

[25]  P.J. Prisaznuk,et al.  ARINC 653 role in Integrated Modular Avionics (IMA) , 2008, 2008 IEEE/AIAA 27th Digital Avionics Systems Conference.

[26]  Dennis McLeod,et al.  A federated architecture for information management , 1985, TOIS.

[27]  Jinchao Chen,et al.  Sensitivity Analysis of Strictly Periodic Tasks in Multi-Core Real-Time Systems , 2019, IEEE Access.