基于优先级时间Petri网的实时嵌入式多核系统分析.pdf

软件学报ISSN1000-9825,CODENRUXUEWE-mail:jos@

JournalofSoftware,2024,35(9):4123−4140[doi:10.13328/ki.jos.007129]

©中国科学院软件研究所版权所有.Tel:+86-10

*

基于优先级时间Petri网的实时嵌入式多核系统分析

1112222

张凯文,刘关俊,孙彦韬,李晓锋,关健,解毅,顾斌

1(同济大学计算机科学与技术系,上海201804)

2(北京控制工程研究所,北京100190)

通信作者:刘关俊,Email:liuguanjun@;李晓锋,E-mail:li_x_feng@126.com

摘要:已有的基于点区间优先级时间Petri网分析实时嵌入式多核系统的工作,存在以下不足:(1)点区间优先级

时间Petri网只考虑每个任务的执行时间是一个固定值的情况,而更多的实际应用中每个任务的执行时间是在一

个区间范围内,因此不能模拟这些应用;(2)没有实现从任务依赖图到点区间优先级时间Petri网的自动转化,不便

于工程设计人员使用;(3)没有考虑任务间互斥访问共享变量的情况.为此,定义了优先级时间Petri网(Pri-TPN)

以弥补第1个不足;定义带有资源分配与优先级的任务依赖图(TDG-RAP)以弥补第3个不足;给出从TDG-RAP

到Pri-TPN的转化规则与算法以弥补第2个不足,以及基于Pri-TPN分析任务最坏执行时间与系统死锁的算法;开

发工具软件,方便工程设计人员使用.

关键词:实时嵌入式多核系统;优先级时间Petri网;可达图;任务依赖图;最坏执行时间(WCET);死锁

中图法分类号:TP311

中文引用格式:张凯文,刘关俊,孙彦韬,李晓锋,关健,解毅,顾斌.基于优先级时间Petri网的实时嵌入式多核系统分析.软件学报,

2024,35(9):4123–4140./1000-9825/7129.htm

英文引用格式:ZhangKW,LiuGJ,SlYT,LiXF,GuanJ,XieY,GuB.AnalysisofReal-timeEmbeddedMulti-coreSystemBasedon

PrioritizedTimePetriNet.RuanJianXueBao/JournalofSoftware,2024,35(9):4123–4140(inChinese)./1000-

9825/7129.htm

AnalysisofReal-timeEmbeddedMulti-coreSystemBasedonPrioritizedTimePetriNet

1112222

ZHANGKai-Wen,LIUGuan-Jun,SUNYan-Tao,LIXiao-Feng,GUANJian,XIEYi,GUBin