作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2018, Vol. 44 ›› Issue (12): 115-119,128. doi: 10.19678/j.issn.1000-3428.0048722

• 体系结构与软件技术 • 上一篇    下一篇

时间约束下任务关键系统的可调度性分析

陈莹1,邢建春1,杨启亮1,2,张孝鹏3   

  1. 1.陆军工程大学 国防工程学院,南京 210007; 2.南京大学 计算机软件新技术国家重点实验室,南京 210093; 3.酒泉卫星发射中心,甘肃 酒泉 732750
  • 收稿日期:2017-09-18 出版日期:2018-12-15 发布日期:2018-12-15
  • 作者简介:陈莹(1991—),女,硕士研究生,主研方向为智能控制、任务关键系统;邢建春,教授、博士、博士生导师;杨启亮,副教授、博士;张孝鹏,硕士。
  • 基金资助:

    国家自然科学基金“基于声表面波的埋入式钢筋锈蚀传感器研究”(51505499);江苏省自然科学基金“面向开放环境的软件模糊自适应运行机理与构造方法” (BK20151451)。

Schedulability Analysis of Mission Critical System Under Timing Constraint

CHEN Ying 1,XING Jianchun 1,YANG Qiliang 1,2,ZHANG Xiaopeng 3   

  1. 1.College of Defense Engineering,Army Engineering University,Nanjing 210007,China; 2.State Key Laboratory of Computer Software New Technology,Nanjing University,Nanjing 210093,China; 3.Jiuquan Satellite Launch Centre,Jiuquan,Gansu 732750,China
  • Received:2017-09-18 Online:2018-12-15 Published:2018-12-15

摘要:

针对时间约束下工作流可调度性验证和修正策略不完善的问题,提出一种基于时间约束着色Petri网的任务关键系统(MCS)可调度性分析方法。根据系统中任务的性质将其划分为关键任务和非关键任务。对工作流中的活动进行可调度性验证,结合任务类别和时间约束修正不可调度的活动。实例分析结果表明,该方法具有较好的修正性能和运行效果,对时间约束下MCS的描述和建模具有一定应用价值。

关键词: 任务关键系统, 时间约束着色Petri网, 工作流, 可调度性分析, 修正策略

Abstract:

Aiming at the inadequate of workflow schedulability and correction strategy under timing constraint,a schedulability analysis method of Mission Critical System(MCS) based on Timing Constraint Colored Petri Net(TCCP-Net) is proposed.It is divided into mission-critical and non-critical tasks based on the nature of the tasks in the system.The activities of the workflow can be scheduled to verify,for non-scheduled activities,combined with the task category and timing constraint to amend it.Example analysis shows that the method has good performance and effect,and has some application value to the description and modeling of the MCS under timing constraint.

Key words: Mission Critical System(MCS), Timing Constraint Colored Petri Net(TCCP-Net), workflow, schedulability analysis, correction strategy

中图分类号: