买专利,只认龙图腾
首页 专利交易 科技果 科技人才 科技服务 商标交易 会员权益 IP管家助手 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索

【发明授权】基于在线优先级反转预算分析的安全感知实时任务调度方法、电子设备和计算机可读存储介质_大连理工大学_202311074754.7 

申请/专利权人:大连理工大学

申请日:2023-08-24

公开(公告)日:2024-03-22

公开(公告)号:CN117216762B

主分类号:G06F21/56

分类号:G06F21/56;G06F9/48;G06F9/50;H04L9/40

优先权:

专利状态码:有效-授权

法律状态:2024.03.22#授权;2023.12.29#实质审查的生效;2023.12.12#公开

摘要:基于在线优先级反转预算分析的安全感知实时任务调度方法、电子设备和计算机可读存储介质,属于实时系统安全领域,为了解决减少AEW内不可信任务所占的比例并且具有平方时间复杂度的问题,要点是根据最大可延迟时间,在线计算测试任务的优先级反转预算,根据在线计算的测试任务的优先级反转预算,判断任务的测试可行性;通过可行性测试的任务对当前资源抢占并执行,效果是有效地选择可信和不可信任务进行调度,在保证系统可调度性的同时,降低攻击成功率,并最大程度地减少AEW内不可信任务所占的比例并且具有平方时间复杂度。

主权项:1.一种基于在线优先级反转预算分析的安全感知实时任务调度方法,其特征在于,包括如下步骤:步骤1:离线计算被攻击的任务的最大保护窗口长度;步骤2:离线计算实时任务最大可延迟时间;步骤3:根据最大保护窗口长度,在线确定就绪队列中的进行可行性测试的任务;步骤4:根据最大可延迟时间,在线计算测试任务的优先级反转预算,根据在线计算的测试任务的优先级反转预算,判断任务的测试可行性;步骤5:通过可行性测试的任务对当前资源抢占并执行;其中:步骤4具体包括:步骤4.1:计算内高优先级任务hpτk对当前的任务τk的干扰上界任务τk表示优先级高于测试任务τtest的任务;步骤4.2:根据最大可延迟时间Vk、干扰上界在线计算优先级高于测试任务τtest的当前的任务τk的优先级反转预算步骤4.3:根据当前的任务τk的在线的优先级反转预算判断当前的任务τk的测试可行性;步骤4.3.1:若判断当前的任务τk满足优先级反转预算当前的任务τk的完成时间不会超过截止期,测试任务τtest在t时刻执行不会破坏当前的任务τk的可调度性,执行步骤4.3.2;若判断当前的任务τk不满足优先级反转预算则可行性测试判断结束,测试任务τtest未通过可行性测试,测试任务τtest的优先级反转影响任务集的可调度性的信息;步骤4.3.2:对优先级低于当前的任务τk但高于测试任务τtest的下一任务τk,执行步骤4.1、4.2和4.3.1,直至当前的任务τk已经是优先级高于测试任务τtest的任务集合hpτtest中优先级最低的任务,则可行性测试判断结束,测试任务τtest通过可行性测试,返回测试任务τtest的优先级反转不影响任务集的可调度性的信息;其中:计算内高优先级任务hpτk对实时任务τk的干扰上界由如下公式表示: 式中,表示实时任务τk在时刻t的相对截止时间,实时任务τk是hpτtest中的任务,hpτk表示优先级高于实时任务τk的任务集,任务τj是hpτk中的任务,表示任务τj在t时刻的剩余执行时间,表示时刻t到任务τj在时刻t后的第一个截止期的长度,表示任务τj在时刻t之前的最后一个到达时间,表示时刻t到实时任务τk在时刻t后的第一个截止期的长度,表示实时任务τk在时刻t之前的最后一个到达时间,Tk表示实时任务τk的周期;在线计算优先级高于测试任务τtest的任务τk的优先级反转预算由如下公式表示: 式中,表示任务τk的在t时刻的剩余执行时间,表示任务τk的在t时刻的绝对截止时间。

全文数据:

权利要求:

百度查询: 大连理工大学 基于在线优先级反转预算分析的安全感知实时任务调度方法、电子设备和计算机可读存储介质

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。