时间约束下任务关键系统的可调度性分析
来源：计算机工程杂志2018年第12期北京时间：
作者：陈莹,邢建春,杨启亮,张孝鹏
单位：1.陆军工程大学 国防工程学院,南京 210007; 2.南京大学 计算机软件新技术国家重点实验室,南京 210093; 3.酒泉卫星发射中心,甘肃 酒泉 732750
摘要：针对时间约束下工作流可调度性验证和修正策略不完善的问题,提出一种基于时间约束着色Petri网的任务关键系统(MCS)可调度性分析方法。根据系统中任务的性质将其划分为关键任务和非关键任务。对工作流中的活动进行可调度性验证,结合任务类别和时间约束修正不可调度的活动。实例分析结果表明,该方法具有较好的修正性能和运行效果,对时间约束下MCS的描述和建模具有一定应用价值。
关键词：任务关键系统,时间约束着色Petri网,工作流,可调度性分析,修正策略
基金资助：国家自然科学基金“基于声表面波的埋入式钢筋锈蚀传感器研究”(51505499);江苏省自然科学基金“面向开放环境的软件模糊自适应运行机理与构造方法” (BK20151451)。
