机载多分区系统可调度性分析算法研究

机载领域普遍采用符合ARINC653标准的分区操作系统支撑应用软件综合化。在分区操作系统的两级调度模型下，机载软件苛刻的实时性要求通常难以得到有效的确定性保证，因此对系统进行可调度性分析显得至关重要。通过可调度性分析算法判断调度表是否能满足分区内进程的实时性要求，是保障系统中所有的进程在规定的时间内完成运算任务的有效手段。基于运筹学方法，通过引入虚拟进程，设计了一种多分区系统可调度性分析算法，并进行了数值验证。验证结果表明，该算法能够准确判断调度表与进程时间属性是否匹配，给出系统是否可调度的定性分析结论，帮助系统集成人员在系统实际运行前对调度表的合理性进行先期验证，降低试验和试飞风险。