-
公开(公告)号：CN118012778A
公开(公告)日：2024-05-10
申请号：CN202410282713.5
申请日：2024-03-13
Applicant: 东北大学
Abstract: 本发明的一种分段式多路径任务的概率时序分析方法，包括：生成目标多路径任务的控制流图；基于目标多路径任务的控制流图构建函数级控制流图；以获得的函数级控制流图和函数级控制流图中待分段函数名称合集作为输入，寻找各个待分段函数的割点，输出分段结果；执行目标多路径任务，收集待分段函数各个任务段的执行时间，基于极值理论进行单个任务段的极值分布参数估计和目标多路径任务的pWCET分布估计。该方法结合静态分析和基于测量的方法优点，使分析路径大大减少，提高了分析效率，通过对控制流图进行分段减少了多路径任务的复杂度，通过卷积方法求解任务段的联合分布上界，使得pWCET分析效率更高，估值结果更灵活、安全。
Search Results
1
records
(took 0.016 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
