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

作者：陈莹; 邢建春; 杨启亮; 张孝鹏

来源：计算机工程, 2018, 44(12): 115-128.

DOI：10.19678/j.issn.1000-3428.0048722

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

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

• 单位
  中国酒泉卫星发射中心; 计算机软件新技术国家重点实验室; 南京大学; 中国人民解放军陆军工程大学