专利号：CN113961439A
专利名称：一种基于SMT方法的DAG任务WCRT计算方法
申请日：2021-10-26
专利类型：发明申请
战略新兴产业分类：新兴软件和新型信息技术服务
项目详情：本发明属于嵌入式实时系统领域，具体涉及一种基于SMT方法的DAG任务WCRT计算方法。该方法的步骤为，先生成DAG任务；而后建立DAG模型；建立目标函数；建立节点的条件约束；以保证节点必须在其前驱完成执行后才能开始执行，约束节点在执行时是不可抢占的。建立负载保持约束；在任意时刻，在节点满足执行条件，不会存在空闲的核；最后建立源点开始执行时间约束。通过建立实现持续工作特性的约束，保证了对于任意节点及其临界前驱，如果时间区间的长度大于0，执行的负载就等于在时间区间内可以提供的计算资源，最终实现了响应时间分析问题向优化问题的转化。
联系电话：0335-8396050
邮箱：zichangongsi@neuq.edu.com
