中国航空工业集团公司西安航空计算技术研究所郭鹏获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉中国航空工业集团公司西安航空计算技术研究所申请的专利一种嵌入式实时系统可调度分析方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN116048750B 。
龙图腾网通过国家知识产权局官网在2025-10-21发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202211613015.6，技术领域涉及：G06F9/48；该发明授权一种嵌入式实时系统可调度分析方法是由郭鹏;张晓;李亚晖;李运喜;吴娜设计研发完成，并于2022-12-15向国家知识产权局提交的专利申请。
本一种嵌入式实时系统可调度分析方法在说明书摘要公布了：本申请提供了一种嵌入式实时系统可调度分析方法，属于嵌入式系统可调度分析的技术领域，具体包括骤1：建立基于AADL的IO模型；步骤2：建立基于时间自动机的嵌入式系统模型；步骤3：模拟嵌入式系统运行，进行可调度性分析。通过本申请的处理方案，提高可调度分析结果的准确度。
本发明授权一种嵌入式实时系统可调度分析方法在权利要求书中公布了：1.一种嵌入式实时系统可调度分析方法，其特征在于，包括： 步骤1：建立基于AADL的IO模型； 步骤2：建立基于时间自动机的嵌入式系统模型； 步骤3：模拟嵌入式系统运行，进行可调度性分析； 所述步骤1具体包括：建立IO资源提供者模型，包括数据、存储和IO设备； 建立IO资源订阅者模型，包括线程和进程； 建立IO资源的关系模型，包括PCP、IPCP、PIP协议，在IO资源关系模型中； 建立订阅者访问资源的开始和结束时间； 所述步骤2具体包括：建立任务的时间自动机模型，建立操作系统调度策略的时间自动机模型，建立IO资源调度策略的时间自动机模型，建立任务的时间自动机、操作系统调度策略的时间自动机和IO资源调度策略的时间自动机的同步关系。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中国航空工业集团公司西安航空计算技术研究所，其通讯地址为：710065 陕西省西安市高新区锦业二路15号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号
请提出您的宝贵建议，有机会获取IP积分或其他奖励