一种基于最差执行时间分析的安全关键任务调度方法
针对复杂安全关键系统的确定性和时间可预测性问题,提出一种基于任务最差执行时间(WCET)进行任务安排和调度的方法.这种方法的基本原理是对软件代码进行最差执行时间分析,得到各个被调度任务的可接受的最差执行时间,然后以此进行任务静态规划和调度.通过构建基于WCET分析的时间触发操作系统原型,以及在此操作系统之上对某控制律软件的分析和试验,验证了对复杂安全关键软件进行WCET分析和静态规划调度是可行的.提出一种基于模型进行WCET分析的工程方法,验证了模型相对于手工编码的在WCET分析方面的优势.
航空安全 操作系统 任务调度 最差执行时间
朱立平 淡图南 颜纪迅 徐建军
西安飞行自动控制研究所,陕西 西安 710065
国内会议
北京
中文
1-5
2013-09-24（万方平台首次上网日期，不代表论文的发表时间）