ARINC653实时系统可调度性验证综述
雷煜靓
胡宁
张磊
航空工业西安航空计算技术研究所 陕西西安 710065
摘要：ARINC653标准规定了综合模块化航电(integrated modular avionics,IMA)系统的两级调度模式,随着系统规模的增大,IMA系统可调度性验证工作的复杂度越来越高.对IMA系统可调度性验证方法进行了分析,总结了近年来主要的三类ARINC653实时系统可调度性验证方法——数学证明仿真验证和模型检验,并进一步对比了模型检验方法中的两类方法——符号化模型检验和统计模型检验,介绍了常用的仿真验证工具Cheddar与模型检验工具UPPAAL的验证原理.通过对现有方法的分析总结,明确了ARINC653实时系统可调度性验证进一步的研究方向.
关键词：ARINC653可调度性验证数学证明仿真验证模型检验
资助基金：工信部民机科研(MJ-2017-S-39)
论文发表日期：2021-06-28
在线出版日期：2026-05-22（本平台首次上网日期，不代表文献的发表时间）
页数：3( 25-27 )