科研之友
微信
新浪微博
Facebook
分享链接
摘要
ARINC653标准规定了综合模块化航电(integrated modular avionics,IMA)系统的两级调度模式,随着系统规模的增大,IMA系统可调度性验证工作的复杂度越来越高。对IMA系统可调度性验证方法进行了分析,总结了近年来主要的三类ARINC653实时系统可调度性验证方法——数学证明仿真验证和模型检验,并进一步对比了模型检验方法中的两类方法——符号化模型检验和统计模型检验,介绍了常用的仿真验证工具Cheddar与模型检验工具UPPAAL的验证原理。通过对现有方法的分析总结,明确了ARINC653实时系统可调度性验证进一步的研究方向。
