ARINC653实时任务可调度性验证方法
针对综合模块化航空电子系统(Integrated Modular Avionics,IMA)存在周期任务和非周期任务,以及任务间依赖关系,传统方法不能准确验证其实时任务可调度性的问题,本文提出了一种基于Stopwatch时间自动机的ARINC653实时任务可调度性验证方法,利用模型检验工具UPPAAL对IMA系统进行建模仿真,并结合统计模型检验(Statistical Model Checking,SMC)与符号模型检验(Symbolic Model Checking,MC)来验证其可调度性.实验结果表明,该方法不仅快速验证了IMA系统的可调度性,而且能够准确定位不可调度任务.
ARINC653、可调度性、秒表时间自动机、统计模型检验、符号模型检验
21
TP316(计算技术、计算机技术)
国防基础科研项目资助;工信部民机科研
2021-04-26(万方平台首次上网日期,不代表论文的发表时间)
共6页
15-20