论文:2012,Vol:30,Issue(5):657-662
引用本文:
夏平, 周兴社, 谢必昌. 适应动态安全需求的实时任务调度算法研究[J]. 西北工业大学
Xia Ping, Zhou Xingshe, Xie Bichang. A Better Adaptive Fault-Tolerant Scheduling(AFTS) Algorithm for Real-Time Tasks with Dynamic Security Requirements[J]. Northwestern polytechnical university

适应动态安全需求的实时任务调度算法研究
夏平, 周兴社, 谢必昌
西北工业大学 计算机学院, 陕西 西安 710072
摘要:
现有的实时容错调度算法没有将实时任务的动态安全需求与其可调度性结合起来考虑。针对这一问题,文章展开以下研究工作:基于安全分级思想,构建了一个适应动态安全需求的实时调度模型,该模型详细地描述了实时任务、系统安全服务、任务容错等实时调度过程涉及的关键要素。以此模型为基础,提出了一种自适应实时容错调度算法(AFTS),该算法支持优先级抢占式调度策略,以牺牲普通任务的运行为代价来保证关键任务的可调度性,并采用主副本备份技术实现了关键任务的容错功能。当系统安全级别被动态调整时,该算法能够为实时任务选择满足当前安全需求的最优安全策略。仿真实验表明,文中提出的算法与同类算法相比,在系统动态安全需求的适应性,以及关键任务的可调度性和容错能力等方面有较好的表现。
关键词:    算法    计算机仿真    设计    效率    数学模型    实时系统    调度    数据安全    自适应容错调度算法    动态安全需求   
A Better Adaptive Fault-Tolerant Scheduling(AFTS) Algorithm for Real-Time Tasks with Dynamic Security Requirements
Xia Ping, Zhou Xingshe, Xie Bichang
Department of Computer Science and Engineering,Northwestern Polytechnical University,Xi'an 710072,China
Abstract:
Current fault-tolerant scheduling algorithms have considered either the dynamic security requirement orthe schedulability one of real-time task, but, to our best knowledge, not both together.Sections 1 and 2 of the fullpaper explain our AFTS algorithm, which we believe is better than existing ones and whose core consists of: "First-ly, it builds a real-time scheduling model, which is adaptive to dynamic security requirement, and the model de-scribes in detail the scheduling process, including real-time tasks, system security services, and task fault-toleran-tance.Based on the model, it proposes a new AFTS algorithm which supports priority preemptive scheduling poli-cy, and guarantees the schedulability of critical tasks at the cost of deferring normal tasks and adopts primary/back-up copy technique to ensure fault-tolerance of critical tasks.The algorithm selects the best-fit security policy forschedulable task under updated system security level.".Simulation results, presented in Fig.1, and their analysisshow preliminarily that the improvements in the adaptability to dynamic security level, the schedulability, and thefault-tolerance of critical task can indeed be achieved by using our AFTS algorithm.
Key words:    algorithms    computer simulation    design    efficiency    mathematical models    real time systems    sched-uling    security of data;adaptive fault-tolerant real-time scheduling algorithm    dynamic security re-quirement   
收稿日期: 2011-11-10     修回日期:
DOI:
基金项目: 国家自然科学基金(60736017)资助
通讯作者:     Email:
作者简介: 夏平(1982-),西北工业大学博士研究生,主要从事高性能计算及实时计算的研究。
相关功能
PDF(491KB) Free
打印本文
把本文推荐给朋友
作者相关文章
夏平  在本刊中的所有文章
周兴社  在本刊中的所有文章
谢必昌  在本刊中的所有文章

参考文献:
[1] 熊光泽,常政威,桑 楠.可信计算发展综述.计算机应用,2009,29(4):915-919Xiong Guangze,Chang Zhengwei,Sang Nan.Survey on Dependable Computing.Journal of Computer Applications,2009,29(4): 915-919 (in Chinese)
[2] Liu C L,Layland J W.Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environment.Journal of the ACM,1973,20(1):46-61
[3] Kalogeraki V,Melliar-Smith P M,Moser L E.Dynamic Scheduling for Soft Real-Time Distributed Object Systems.The 3rdIEEE International Symposium on Object-Oriented Real-Time Distributed Computing,2000,114-121
[4] Luis Almeida.A Dynamic Scheduling Approach to Designing Flexible Safety-Critical Systems.Journal of the ACM,2003,22(4):46-61
[5] 朱晓敏,陆佩忠.异构集群系统中安全关键实时应用调度研究.计算机学报,2010,33(12):2364-2377Zhu Xiaomin,Lu Peizhong.Scheduling for Security-Critical Real-Time Applications on Heterogenous Cluster.Chineses Journalof Computers,2010,33(12): 2364-2377 (in Chinese)
[6] Xie Tao,Qin Xiao.Scheduling Security-Critical Real-Time Applications on Clusters.IEEE Trans on Computers,2006,55(7):864-879
[7] 夏 平,周兴社,骆万文等.面向分布式实时系统的新型可信任务调度算法.西北工业大学学报,2011,29(2):155-159
Xia Ping,Zhou Xingshe,Luo Wanwen,et al.A New and Better Dependable Task Scheduling Alogrithm for Distributed Real-Time System.Journal of Northwestern Polytechnical University,2011,29(2): 155-159 (in Chinese)
[8] Xia Ping,Zhou Xingshe.Security-Driven Fault Tolerant Scheduling Algorithm for High Dependable Distributed Real-Time Sys-tem.Proceedings of the 2011 Fourth International Symposium on PAAP,2011:29-33
相关文献:
1.郑曦, 智永锋, 张骏.伪仿射投影算法优化迭代步长的研究[J]. 西北工业大学, 2014,32(1): 102-105
2.宋受俊, 葛乐飞, 蒋艳玲.基于文化粒子群算法的开关磁阻电机多目标优化设计[J]. 西北工业大学, 2014,32(1): 111-117
3.史静平, 屈晓波, 毕可军.一种基于转矩可达集的操纵面组合分配设计方法[J]. 西北工业大学, 2014,32(1): 123-130
4.赵付青, 张建林, 王俊彪, Jonrinaldi Jonrinaldi.基于改进SCE算法的Job Shop调度方法研究[J]. 西北工业大学, 2014,32(1): 152-157
5.王刚, 胡峪, 宋笔锋.利用螺旋桨动力配平的飞翼布局无人机[J]. 西北工业大学, 2014,32(2): 181-187
6.王刚, 曾铮, 叶正寅.混合非结构网格下壁面最短距离的快速计算方法[J]. 西北工业大学, 2014,32(4): 511-516
7.白俊强, 辛亮, 刘艳, 华俊, 李国俊.复合材料后掠机翼的气动弹性剪裁方法研究[J]. 西北工业大学, 2014,32(6): 843-848
8.卢健, 徐德民, 张福斌.共同观测环境多UUV协同导航[J]. 西北工业大学, 2013,31(3): 378-385
9.郑炜, 李知隆, 靳如一.基于频率差异积分的故障定位算法研究[J]. 西北工业大学, 2013,31(3): 435-439
10.姚如贵, 冯泽明, 赵雨, 王伶.基于FFT的时频并行捕获算法研究[J]. 西北工业大学, 2013,31(3): 446-450
11.刘亚擎, 廉保旺, 唐成凯.长基线高精度GNSS相对定位算法[J]. 西北工业大学, 2013,31(3): 451-456
12.王星又, 岳晓奎.结合混合法与微分进化法的小推力轨道全局优化设计[J]. 西北工业大学, 2013,31(5): 689-694
13.卜月鹏, 宋文萍, 韩忠华, 许建华.基于CST参数化方法的翼型气动优化设计[J]. 西北工业大学, 2013,31(5): 829-836
14.于晓洲, 周军, 朱林妤.低热层大气探测立方星翱翔一号轨道寿命分析[J]. 西北工业大学, 2013,31(6): 896-900
15.杜洪涛, 李战怀.基于数据价值的云存储动态备份一致性机制[J]. 西北工业大学, 2013,31(6): 979-984
16.尤涛, 杨凯, 杜承烈, 钟冬, 朱怡安.基于动态关键路径与边消除的任务复制分配算法[J]. 西北工业大学, 2013,31(6): 985-990
17.刘宁, 史浩山, 郭淑霞, 杨博.基于虚拟阵列的ESPRIT相干信号DOA估计[J]. 西北工业大学, 2013,31(6): 997-1001
18.高登巍, 罗建军, 马卫华.基于Lyapunov方法的非合作目标接近与视线跟踪[J]. 西北工业大学, 2013,31(4): 577-583
19.郝帅, 程咏梅, 马旭, 赵建涛.无人直升机视觉着舰中合作目标角点检测算法[J]. 西北工业大学, 2013,31(4): 653-659
20.史静平, 屈晓波, 李广文.一种基于转矩可达集裁剪设计的广义逆分配方法[J]. 西北工业大学, 2013,31(1): 8-13
21.智永锋, 郑曦, 李茹, 邓正宏, 张骏.一种变步长AP-REE算法的研究[J]. 西北工业大学, 2013,31(2): 183-188
22.杨洁, 王新民, 谢蓉.基于改进APF的无人机编队航迹规划[J]. 西北工业大学, 2013,31(2): 200-205
23.李丁, 夏露.基于膜概念和Kriging模型混合优化算法的翼型设计[J]. 西北工业大学, 2012,30(1): 80-87
24.黄姝娟, 朱怡安, 李兵哲, 陆伟.基于利用率和负载均衡的多核实时调度算法研究[J]. 西北工业大学, 2012,30(1): 117-123
25.成珂, 王忠伟, 周洲.太阳能飞机工作条件对太阳能电池性能的影响[J]. 西北工业大学, 2012,30(4): 535-540
26.苏进展, 方宗德, 蔡香伟.弧齿锥齿轮数字化齿面啮合仿真分析与试验[J]. 西北工业大学, 2012,30(4): 565-569
27.史静平, 章卫国.基于AMS结构分析的串接链可达集求解与优化设计[J]. 西北工业大学, 2012,30(4): 582-588
28.黄汉桥, 黄长强, 赵辉, 曹林平, 翁兴伟.考虑前馈作用的BTT导弹自动驾驶仪设计方法研究[J]. 西北工业大学, 2012,30(3): 307-313
29.张奕, 程小辉, 蔡皖东, 詹涛.混合关键度驱动的实时调度研究[J]. 西北工业大学, 2012,30(4): 617-621
30.安伟刚, 陈殿宇, 粱生云.复合材料尖削结构同级优化方法研究及ISIGHT实现[J]. 西北工业大学, 2012,30(3): 390-394
31.李沛峰, 张彬乾, 陈迎春.基于响应面和遗传算法的翼型优化设计方法研究[J]. 西北工业大学, 2012,30(3): 395-401
32.王静, 黄建国, 张群飞, 韩晶.噪声空间谱预白化小孔径阵列被动目标检测方法[J]. 西北工业大学, 2012,30(3): 422-427
33.梁红, 张恒.空时欠采样下多目标频率和方位联合估计新方法[J]. 西北工业大学, 2012,30(5): 694-698
34.周文佳, 陈旿, 肖迪, 张鹏飞, 慕德俊.MANET网络中一种基于灰色区域的移动预测路由协议及多径备份路由扩展[J]. 西北工业大学, 2012,30(5): 739-745
35.田薇, 孙秦, 范学领.某型飞机前起舱段结构几何刚度分布优化设计[J]. 西北工业大学, 2012,30(6): 857-861
36.张萌, 赵磊, 樊晓桠, 田杭沛.面向混杂流计算的适应性存储器体系结构[J]. 西北工业大学, 2012,30(6): 961-967