基于可调度性排序的时间触发调度表生成方法

• 作者: 宋梓旭 李峭 汪晶晶 熊华钢
• 来源期刊: 北京航空航天大学学报
• 学科: 工学
• 关键词: 时间触发以太网(TTE) 时间触发(TT)流量 增量化调度 可调度性 流量排序 约束缩减
• 年，卷（期）: 2018,（11）
• 页码范围: 2388-2395
• 页数: 8页
• 分类号: V247|TP393
• 字数: 8538字
• 语种: 中文
• DOI: 10.13700/j.bh.1001-5965.2018.0043

摘要

时间触发以太网(TTE)静态调度表的生成依据可满足性模理论(SMT);如果时间触发(TT)流量集合的规模较大,需要分批选取流量子集进行增量化调度求解,选取的次序对于计算耗时具有显著的影响.采用严格周期利用率因子(SPU)量化各条流量的可调度性,按照调度难度降序分批选取流量组成流量子集,并依次对流量子集进行SMT求解,同时采用可调度性检查和约束缩减措施,提出并形成了一种基于可调度性排序的增量化时间触发调度表生成方法.在求解过程中,如果出现局部不可调度的情况,则进行回溯操作;同时引入干涉时间作为已调度集合对于未调度集合的联合约束条件,大规模缩减了这两种集合之间的约束数量,进一步提高了求解效率.案例研究表明,与随机排序、周期升序和可调度难度升序的增量化调度方法相比,该方法的回溯次数随系统规模增长的速度显著降低.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	熊华钢	北京航空航天大学电子信息工程学院	179	1571	21.0	31.0
2	李峭	北京航空航天大学电子信息工程学院	71	353	9.0	17.0
3	宋梓旭	北京航空航天大学电子信息工程学院	2	4	1.0	2.0
4	汪晶晶	北京航空航天大学电子信息工程学院	2	4	1.0	2.0