-
公开(公告)号：CN113961439A
公开(公告)日：2022-01-21
申请号：CN202111245020.1
申请日：2021-10-26
Applicant: 东北大学秦皇岛分校
IPC: G06F11/34
Abstract: 本发明属于嵌入式实时系统领域，具体涉及一种基于SMT方法的DAG任务WCRT计算方法。该方法的步骤为，先生成DAG任务；而后建立DAG模型；建立目标函数；建立节点的条件约束；以保证节点必须在其前驱完成执行后才能开始执行，约束节点在执行时是不可抢占的。建立负载保持约束；在任意时刻，在节点满足执行条件，不会存在空闲的核；最后建立源点开始执行时间约束。通过建立实现持续工作特性的约束，保证了对于任意节点及其临界前驱，如果时间区间的长度大于0，执行的负载就等于在时间区间内可以提供的计算资源，最终实现了响应时间分析问题向优化问题的转化。
Search Results
1
records
(took 0.028 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
