VxWorks平台内核态ARINC653分区实时调度算法设计与实现

集成模块化航空电子架构(Integrated Modular Avionic, IMA)已成为主流航空电子系统。ARINC 653作为航空电子设备IMA架构的标准应用接口,成为研究航空电子软件编程方法的入口。最新研究表明,VxWorks能够为航空电子分区管理提供最优化的平台。然而,基于VxWorks的ARINC 653高效分区调度算法依然是研究的“盲区”。由此,设计了VxWorks内核态分层ARINC 653分区实时调度算法,提高了分区调度效率,为VxWorks内核ARINC 653完整性的研究提供非常有价值的参考。实验数据说明,相较于传统用户态分区管理模型,该调度算法使分区释放开销和分区释放抖动两项指标均显著降低。

Design Partitioning Real-time Scheduling of ARINC 653 for VxWorks in Kernel-level

The Integrated Modular Avionic (IMA) architecture has been proposed for the next-generation avionics systems. ARINC 653 is the standards for Application Programming Interfaces (APIs) of avionics software for IMA architecture. There are a great many research on design and implementation of ARINC 653. Though some of them including VxWorks recently show high potential of providing software platform for avionics systems, efficient partition management have not been considered much for a base operating system of ARINC 653. In this paper, we propose a kernel-level design to support partitioning and hierarchical real-time scheduling of ARINC 653 for VxWorks. We have assurance that our suggestion can provide a very valuable reference for raising the level of partition scheduling for ARINC 653 especially because of the integrity of the VxWorks kernel. We show that the overhead and jitter of the proposed design is significantly lower compared with legacy partition management algorithm-a user-level design.