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

龙图腾网获悉西北工业大学申请的专利一种支持多种时序约束的嵌入式系统仿真方法与装置获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN116186959B 。

龙图腾网通过国家知识产权局官网在2025-08-05发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202210882889.5，技术领域涉及：G06F30/20；该发明授权一种支持多种时序约束的嵌入式系统仿真方法与装置是由朱怡安;史先琛;李联;周卫;钟冬设计研发完成，并于2022-07-26向国家知识产权局提交的专利申请。

本一种支持多种时序约束的嵌入式系统仿真方法与装置在说明书摘要公布了：本发明实施例公开了一种支持多种时序约束的嵌入式系统仿真方法与装置。该方法包括：建立嵌入式系统的任务模型；定义任务触发关系；定义任务间通信模型；定义系统资源模型；定义任务资源访问控制模型；定义数据访问控制模型；设置仿真参数；根据任务模型、任务触发关系、任务间通信模型、系统资源模型、任务资源访问控制模型、数据访问控制模型和仿真参数对嵌入式系统进行仿真处理。通过本发明，解决了传统仿真方法不能描述复杂嵌入式系统任务间关系的技术问题，达到了提高仿真结果的可靠性，同时具备方法简单、描述能力强以及容易实施的技术效果。

本发明授权一种支持多种时序约束的嵌入式系统仿真方法与装置在权利要求书中公布了：1.一种支持多种时序约束的嵌入式系统仿真方法，其特征在于，包括： 建立嵌入式系统的任务模型，其中，所述任务模型包括周期任务、偶发任务、随机任务和事件触发任务； 定义任务触发关系； 定义任务间通信模型； 定义系统资源模型； 定义任务资源访问控制模型； 定义数据访问控制模型； 设置仿真参数； 根据所述任务模型、所述任务触发关系、所述任务间通信模型、所述系统资源模型、所述任务资源访问控制模型、所述数据访问控制模型和所述仿真参数对所述嵌入式系统进行仿真处理；其中，所述仿真处理包括：在每个仿真步开始时，判断当前仿真步数是否小于等于仿真次数，其中，所述仿真次数是根据所述仿真参数中的仿真总时长和仿真步长确定；若所述当前仿真步数小于等于所述仿真次数，则进行所述仿真步的仿真，依次执行任务释放作业、作业调度、资源分配、数据分配、作业产生消息、作业依赖消息、作业产生数据、作业依赖数据以及资源回收操作；若所述当前仿真步数大于所述仿真次数，则仿真结束； 建立嵌入式系统的任务模型，包括： 根据所述嵌入式系统抽象出所述任务模型，其中，所述任务模型的表达式如下： ； 其中，表示任务的最坏情况执行时间；表示任务时限；表示所述周期任务的周期或所述偶发任务的最小到达间隔；表示任务优先级；表示任务的同步类型；表示任务执行时间抖动；表示任务第一次释放作业的时间；表示随机任务释放时间集合，；表示任务释放作业时间抖动；表示任务类型；表示所述周期任务；表示所述偶发任务；表示所述随机任务；表示所述事件触发任务； 定义任务触发关系，包括： 任务释放的作业在执行完成后触发另一个任务释放作业，其中，所述任务触发关系定义为： ； 其中，表示的作业触发的任务；表示的作业执行时长后触发任务；表示的作业执行时长后触发任务；表示任务的最坏情况执行时间； 定义任务间通信模型，包括： 任务在执行的过程中产生对消息的依赖，所述消息由其它任务产生，当所述任务依赖的消息存在时，所述任务继续执行，否则将被阻塞直至所述消息到达；其中，在所述任务的同步类型为true时，所述任务释放的作业产生消息后会被阻塞，直至所述任务产生的消息被其它作业使用；在所述任务的同步类型为false时，所述任务释放的作业产生消息后无需等待回令继续执行； 其中，任务产生消息的表达式如下： ； 其中，表示作业产生消息的名称；表示作业产生消息的时间；表示任务的最坏情况执行时间； 作业在执行过程中依赖多个消息，任务在执行过程中依赖消息的表达式如下： ； 其中，表示作业依赖消息的名称；表示作业依赖消息的时间；表示任务的最坏情况执行时间； 所述系统资源模型的表达式如下： ； 其中，表示被申请的资源；表示申请资源的名称；表示申请资源的数量； 所述任务资源访问控制模型的表达式如下： ； 其中，表示任务申请得到的资源；表示申请资源的任务；表示被申请的资源；表示申请资源的数量； 定义数据访问控制模型，包括： 任务申请得到的资源成为数据，在执行完成后，被当作其它任务、的资源使用；其中，当读时，同时被读取；当写时，对加锁，加锁成功继续执行，若在被加锁期间需要使用，将会被阻塞，写操作完成后释放，则被使用；当所有使用的任务执行完成后释放，则回收任务申请到的资源； 其中，任务读取数据的模型的表达式如下： ； 其中，表示任务申请得到的资源；表示任务开始读取资源的时间；表示任务结束读取资源的时间； 任务写数据的模型的表达式如下： ； 其中，表示任务申请得到的资源；表示任务开始写资源的时间；表示任务完成写资源的时间。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人西北工业大学，其通讯地址为：710072 陕西省西安市友谊西路；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。