买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉北京凯思昊鹏软件工程技术有限公司申请的专利嵌入式系统中微程的可调度性验证方法和系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115766505B 。

龙图腾网通过国家知识产权局官网在2025-07-11发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202211425681.7，技术领域涉及：H04L43/08；该发明授权嵌入式系统中微程的可调度性验证方法和系统是由顾玉良;陈鹏设计研发完成，并于2022-11-15向国家知识产权局提交的专利申请。

本嵌入式系统中微程的可调度性验证方法和系统在说明书摘要公布了：本申请涉及一种嵌入式系统中微程的可调度性验证方法和系统，其属于嵌入式系统技术领域，该方法包括获取测试微程集和对照微程集；采用EDFI调度规则依次调度测试微程集和对照微程集得到测试调度信息；采用EDF调度规则依次调度测试微程集和对照微程集得到对照调度信息；根据所述测试调度信息和所述对照调度信息得到结果信息。本申请具有提高判断微程的可调度性结果的准确度的效果。

本发明授权嵌入式系统中微程的可调度性验证方法和系统在权利要求书中公布了：1.一种嵌入式系统中微程的可调度性验证方法，其特征在于，包括： 获取测试微程集和对照微程集； 采用EDFI调度规则依次调度测试微程集和对照微程集得到测试调度信息； 采用EDF调度规则依次调度测试微程集和对照微程集得到对照调度信息； 根据所述测试调度信息和所述对照调度信息得到结果信息； 所述获取测试微程之前，包括： 获取目标微程集，所述目标微程集包括多个目标微程，所述目标微程包括Wsn_TimerFiber微程、Wsn_AppFiber微程、Wsn_DemoFiber微程及Wsn_EdfiFiber微程； 提取所述目标微程的理论截止时间和最小继承时间，依据所述最小继承时间生成继承截止时间表； 建立就绪调度队列和运行调度队列； 所述就绪调度队列用于接收所述目标微程，并按照理论截止时间由短至长的顺序排列目标微程； 所述运行调度队列用于接收继承截止时间表和就绪调度队列释放的目标微程，并按照继承截止时间表执行目标微程得到实际截止时间；运行调度队列还用于将运行后的目标微程按照实际截止时间由短至长的顺序进行排列，并在目标微程到达下一执行周期时释放至就绪调度队列中； 将每一个目标微程的微程量、将运行调度队列在遍历就绪调度队列的目标微程时得到的每一个目标微程的实际截止时间以及每一个目标微程的运行周期输入W（t）函数、H（t）函数以及CB（t）函数中； 建立系数为1的线性函数，将所述W（t）函数、H（t）函数以及CB（t）函数放入系数为1的线性函数中，并判断所述W（t）函数是否先于H（t）函数和CB（t）函数与对角线相交； 若是，则将目标微程集标记为测试微程集； 若否，则将目标微程集标记为对照微程集； 所述根据所述测试调度信息和所述对照调度信息得到结果信息包括： 将所述测试调度信息和所述对照调度信息分别进行实时性验证、优先级反转验证、死锁验证以及微程程序段调度验证得到结果信息。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人北京凯思昊鹏软件工程技术有限公司，其通讯地址为：100089 北京市海淀区中关村南四街四号四号楼305房间；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。