上海柘飞航空科技有限公司尹洁获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉上海柘飞航空科技有限公司申请的专利一种基于功能模块的高安全软件调度方法获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN120597260B 。
龙图腾网通过国家知识产权局官网在2025-10-10发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202511096477.9,技术领域涉及:G06F21/52;该发明授权一种基于功能模块的高安全软件调度方法是由尹洁;郑君若禹设计研发完成,并于2025-08-06向国家知识产权局提交的专利申请。
本一种基于功能模块的高安全软件调度方法在说明书摘要公布了:本发明公开了一种基于功能模块的高安全软件调度方法,涉及民用飞机机载软件的领域,包括:构建包括序位、序列和调度的三级调度模型,并通过序位‑序列‑调度的层级结构,实现功能模块的精细化管理;采用基于相位的确定性调度算法,确保功能模块在指定周期和相位严格执行;设计高安全特性,包括静态资源校验与容错、模块化执行原子化与执行过程的确定性。本发明的优点在于:通过构建三级调度模型、采用基于相位的确定性调度算法以及设计高安全特性,实现了高效灵活的任务调度、静态配置校验与容错、模块化原子化执行,显著提升了机载软件调度的安全性、可靠性和可维护性。
本发明授权一种基于功能模块的高安全软件调度方法在权利要求书中公布了:1.一种基于功能模块的高安全软件调度方法,其特征在于,包括: 构建包括序位、序列和调度的三级调度模型,并通过序位-序列-调度的层级结构,实现功能模块的精细化管理; 采用基于相位的确定性调度算法,确保功能模块在指定周期和相位严格执行; 设计高安全特性,包括静态资源校验与容错、模块化执行原子化与执行过程的确定性; 所述三级调度模型中的序位Slot模块是功能模块的基础调度单元,将每个机载软件功能模块抽象为一个序位,每个序位包括模型、调度周期和调度相位; 所述三级调度模型中的序列模块为单周期内的序位编排,代表一个调度周期内的序位槽集合,每个序位将相位、周期模块加载完毕后,序列模块把这些序位组成集合,并保存起来; 所述三级调度模型中的调度模块为跨周期的全局调度管理,通过读取配置文件,获取每个序位的调度周期和调度相位,存入到每个序位对象中,并生成集合; 将生成的序位集合生成序列集合,形成跨周期的确定性调度表。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人上海柘飞航空科技有限公司,其通讯地址为:200000 上海市浦东新区中国(上海)自由贸易试验区张江路665号三层;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。

皖公网安备 34010402703815号
请提出您的宝贵建议,有机会获取IP积分或其他奖励