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

作者简介:

张凯文(1995-), 男, 博士生, 主要研究领域为Petri网, 形式化方法, 程序分析. ;刘关俊(1978-), 男, 博士, 教授, 博士生导师, CCF高级会员, 主要研究领域为Petri网, 模型检测, 形式化方法, 机器学习, 人机物系统, 工作流系统, 无人机协同系统. ;孙彦韬(1997-), 男, 博士生, CCF学生会员, 主要研究领域为嵌入式系统, 高性能计算. ;李晓锋(1982-), 男, 研究员, CCF专业会员, 主要研究领域为可信软件, 软件自适应, 智能化软件工程. ;关健(1986-), 女, 高级工程师, 主要研究领域为人工智能软件, 嵌入式系统. ;解毅(1994-), 男, 工程师, 主要研究领域为嵌入式系统. ;顾斌(1968-), 男, 博士, 研究员, 博士生导师, CCF高级会员, 主要研究领域为可信软件, 计算机控制, 嵌入式软件.

通讯作者:

刘关俊, Email: liuguanjun@tongji.edu.cn;李晓锋, E-mail: li_x_feng@126.com

中图分类号:

TP311

基金项目:

国家自然科学基金(62172299, 62192730, 62032019); 北京控制工程研究所高可信嵌入式软件工程技术实验室开放基金(LHCESET202201); 北京控制工程研究所空间光电测量与感知实验室开放基金(LabSOMP-2023-03); CCF-华为胡杨林基金-形式化专项(CCF-HuaweiFM202305)


Analysis of Real-time Embedded Multi-core System Based on Prioritized Time Petri Net
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    已有的基于点区间优先级时间Petri网分析实时嵌入式多核系统的工作, 存在以下不足: (1)点区间优先级时间Petri网只考虑每个任务的执行时间是一个固定值的情况, 而更多的实际应用中每个任务的执行时间是在一个区间范围内, 因此不能模拟这些应用; (2)没有实现从任务依赖图到点区间优先级时间Petri网的自动转化, 不便于工程设计人员使用; (3)没有考虑任务间互斥访问共享变量的情况. 为此, 定义了优先级时间Petri网(Pri-TPN)以弥补第1个不足; 定义带有资源分配与优先级的任务依赖图(TDG-RAP)以弥补第3个不足; 给出从TDG-RAP到Pri-TPN的转化规则与算法以弥补第2个不足, 以及基于Pri-TPN分析任务最坏执行时间与系统死锁的算法; 开发工具软件, 方便工程设计人员使用.

    Abstract:

    Existing work on the analysis of real-time embedded multi-core systems using point-interval prioritized time Petri nets has the following limitations. (1) Point-interval prioritized time Petri nets only consider the case where the execution time of each task is a fixed value, but in many practical applications, the execution time of a task is generally within a range so that this kind of model cannot be used to analyze these applications. (2) There is a lack of automatic transformation from task dependency graphs to this point-interval prioritized time Petri nets, and thus it is inconvenient for engineering designers. (3) The case of mutually exclusive access to shared variables has not been considered. To address these issues, this study defines prioritized time Petri nets (Pri-TPN) to overcome the first limitation and introduces a task dependency graph with resource allocation and priority (TDG-RAP) to overcome the third limitation. It develops algorithms based on Pri-TPN for analyzing the worst-case execution time (WCET) and system deadlocks of tasks. Additionally, a tool software is developed to facilitate its use by engineering designers.

    参考文献
    相似文献
    引证文献
引用本文

张凯文,刘关俊,孙彦韬,李晓锋,关健,解毅,顾斌.基于优先级时间Petri网的实时嵌入式多核系统分析.软件学报,2024,35(9):4123-4140

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2023-09-11
  • 最后修改日期:2023-10-30
  • 录用日期:
  • 在线发布日期: 2024-05-15
  • 出版日期:
文章二维码
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号