中文摘要：

针对仅含纯周期任务集合、符合ARINC653多分区构架航电系统两级调度模型的可调度性判定问题，提出一种基于分区的航电系统调度分析工具。通过设定时钟变量模拟航电系统各分区中任务集调度过程，依据纯周期任务集及分区航电系统时间片分派特性确定仿真区间，设计优化的调度分析算法，判定航电系统分区级时间片分派的正确性及各分区中任务集的可调度性。测试及实例分析结果表明，该工具能自动、准确、快速地判定航电系统分区以及任务级调度模型的可调度性，并能以甘特图的方式绘制系统调度过程，较现有工具更为直观、高效。

英文摘要：

Aiming at the schedulability determination problem of avionics system two-level scheduling model which only includes periodic task set and abides by AR1NC653 multi-partition architecture, an avionics system scheduling analysis tool based on partition is proposed. Through the setting of clock variables, the tool can simulate avionics system task set scheduling process in each partition, determine the simulation interval according to the characteristics of periodic task set and partition avionics system time slot disposition, optimize the algorithm of scheduling analysis, and estimate the accurateness of avionics system partition-level time slot disposition and the schedulability of task set in each partition. Test and instances analysis results show that this tool has automatic, accurate and fast advantages to determine the schedulability of avionics system partition-level and task-level scheduling model, and can describe task scheduling process by Gantt chart. Compared with other existing tools, it is more intuitive and efficient.