软件学报

作者：刘洪标，乔磊，杨孟飞，陈熙，马智，李少峰

单位：刘洪标，西安电子科技大学 计算机科学与技术学院, 陕西 西安 710071;北京控制工程研究所, 北京 10019011,乔磊，北京控制工程研究所, 北京 10019002,杨孟飞，中国空间技术研究院, 北京 10009403,陈熙，北京控制工程研究所, 北京 10019004,马智，北京控制工程研究所, 北京 10019005,李少峰，西安电子科技大学 计算机科学与技术学院, 陕西 西安 710071;北京控制工程研究所, 北京 10019006

关键词：动态扩展;实时任务;周期虚拟缩减;优先级分配;可调度性

基金：国家自然科学基金(61632005, 62032004)

针对航天器等安全关键系统中实时任务调度和可调度性分析的实际问题, 提出基于任务周期虚拟缩减的可调度性判定方法, 构建SHT (strong-hard task)任务模型对强硬实时任务进行精确描述, 并根据任务时间特性分配优先级. 虚拟化所有强实时任务为一个硬实时任务, 对此硬实时任务周期虚拟缩减并计算出其最差虚拟执行时间, 然后按RMS可调度性判定公式判定. 给出了判定方法的严格证明, 可对包含n个SHT任务的任务集进行快速可调度性判定, 此算法时间复杂度仅为O(n2). 在我国空间站计算机进行了对比验证, 实验表明判定效率优于现有可调度性判定方法, 平均运行时间开销降低了41.8%, 可调度率提高了5.7%.

来源：2022年第9期

《软件学报》期刊编辑部

查看软件学报杂志2022年第9期