-
题名时间约束下任务关键系统的可调度性分析
被引量：2
- 1
-
-
作者
陈莹
邢建春
杨启亮
张孝鹏
-
机构
陆军工程大学国防工程学院
南京大学计算机软件新技术国家重点实验室
酒泉卫星发射中心
-
出处
《计算机工程》
CAS
CSCD
北大核心
2018年第12期115-119,128,共6页
-
基金
国家自然科学基金"基于声表面波的埋入式钢筋锈蚀传感器研究"(51505499)
江苏省自然科学基金"面向开放环境的软件模糊自适应运行机理与构造方法"(BK20151451)
-
文摘
针对时间约束下工作流可调度性验证和修正策略不完善的问题,提出一种基于时间约束着色Petri网的任务关键系统(MCS)可调度性分析方法。根据系统中任务的性质将其划分为关键任务和非关键任务。对工作流中的活动进行可调度性验证,结合任务类别和时间约束修正不可调度的活动。实例分析结果表明,该方法具有较好的修正性能和运行效果,对时间约束下MCS的描述和建模具有一定应用价值。
-
关键词
任务关键系统
时间约束着色Petri网
工作流
可调度性分析
修正策略
-
Keywords
mission critical system(mcs)
Timing Constraint Colored Petri Net(TCCP-Net)
workflow
schedulability analysis
correction strategy
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名任务关键系统的时间约束验证与最优路径分析
被引量：1
- 2
-
-
作者
陈莹
孙晓波
邢建春
杨启亮
-
机构
解放军理工大学国防工程学院
南京大学计算机软件新技术国家重点实验室
-
出处
《计算机工程》
CAS
CSCD
北大核心
2018年第5期60-65,77,共7页
-
基金
国家自然科学基金"基于声表面波的埋入式钢筋锈蚀传感器研究"(51505499)
江苏省自然科学基金"面向开放环境的软件模糊自适应运行机理与构造方法"(BK20151451)
-
文摘
针对任务关键系统工作流中对时间验证不够完善的问题,提出一种新的工作流建模和时间验证方法。基于库所含时间因素的着色时间Petri工作流网,将系统中的任务划分为关键任务和非关键任务,对不满足时间约束的活动进行管理,在完成最终任务的前提下,尽可能多地执行工作流中的非关键任务,从而减少时间资源的浪费。在此基础上,将工作流中活动的时间约束转化为数学约束问题,并运用MATLAB对模型进行分析,最终得出工作流中的最优路径。对军港岸基保障信息系统案例进行分析,结果表明,该方法具有一定的可行性和实用性。
-
关键词
WEB服务组合
任务关键系统
时间验证
最优路径
着色时间Petri网
-
Keywords
Web service composition
mission critical system （mcs）
time verification
optimal path
Colored TimePetri Net （CTPN）
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
