公开(公告)号：CN108009074A

公开(公告)日：2018-05-08

申请号：CN201711192032.6

申请日：2017-11-24

Applicant: 北京航空航天大学

Inventor： 王世海 ,  李垚男 ,  刘斌

IPC: G06F11/34

Abstract: 本发明公开了一种基于模型和动态分析的多核系统实时性评估方法，属于嵌入式多核系统实时性评估技术领域；该方法首先获得嵌入式多核系统的资源参数，明确任务的产生方式，对共享资源SoC片上的BUS的使用状态，及任务对共享资源使用状态相互之间的关系。然后建立petri-net模型，计算模拟cache命中率。总线空闲时接收任务访问，总线忙碌时说明有任务在占用资源并且和资源同步处于该状态；任务读入的时间服从参数为λ的指数分布；任务隐式通信的时间长度是固定的，隐式通信的次数服从参数a,b的均匀分布。最后在设定的时间内运行模型，在运行过后进行实时性分析。本发明实时性评估结果更符合真实运行中的情况，客观化、直观化的给出多核IMA任务的执行模型。

公开(公告)号：CN108009074B

公开(公告)日：2020-04-17

申请号：CN201711192032.6

申请日：2017-11-24

Applicant: 北京航空航天大学

Inventor： 王世海 ,  李垚男 ,  刘斌

IPC: G06F11/34

Abstract: 本发明公开了一种基于模型和动态分析的多核系统实时性评估方法，属于嵌入式多核系统实时性评估技术领域；该方法首先获得嵌入式多核系统的资源参数，明确任务的产生方式，对共享资源SoC片上的BUS的使用状态，及任务对共享资源使用状态相互之间的关系。然后建立petri‑net模型，计算模拟cache命中率。总线空闲时接收任务访问，总线忙碌时说明有任务在占用资源并且和资源同步处于该状态；任务读入的时间服从参数为λ的指数分布；任务隐式通信的时间长度是固定的，隐式通信的次数服从参数a,b的均匀分布。最后在设定的时间内运行模型，在运行过后进行实时性分析。本发明实时性评估结果更符合真实运行中的情况，客观化、直观化的给出多核IMA任务的执行模型。