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

摘要：

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

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

所属期刊栏目：44

分类号：TP311(计算技术、计算机技术)

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

在线出版日期：2019-03-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：115-119,128