计算机工程与应用 ›› 2011, Vol. 47 ›› Issue (27): 55-59.

• 研发、设计、测试 • 上一篇    下一篇

非传统安全关键系统中模糊分类调度模型

彭礼强1,尹俊文2,汪 飞1,3   

  1. 1.湖南师范大学 数学与计算机学院,长沙 410081
    2.国防科技大学 计算机学院,长沙 410074
    3.湖南师范大学 数学与计算机科学学院 高性能计算与随机信息处理省部共建教育部重点实验室,长沙 410081
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2011-09-21 发布日期:2011-09-21

Real-time scheduling model of fuzzy itemized tasks for non-traditional safety critical system

PENG Liqiang1,YIN Junwen2,WANG Fei1,3   

  1. 1.College of Mathematics and Computer Science,Hunan Normal University,Changsha 410081,China
    2.School of Computer Science,National University of Defense Technology,Changsha 410074,China
    3.Key Laboratory of High Performance Computing and Stochastic Information Processing Ministry of Education of China,College of Mathematics and Computer Science,Hunan Normal University,Changsha 410081,China
  • Received:1900-01-01 Revised:1900-01-01 Online:2011-09-21 Published:2011-09-21

摘要: 物联网及无线传感网的发展将使越来越多的应用成为安全关键系统,而这类应用在性质上区别于医疗、核能和航空航天等领域的传统安全关键系统。研究了非传统安全关键系统的调度特征,发现这类应用与传统安全关键系统存在较大差异,特别是在任务分类上,若直接套用已有的调度模型将产生诸多问题。在特征分析的基础上建立了满足特征需求的实时调度模型并给出了相应的调度算法。模型采取模糊分类的方式划分任务,算法分两个阶段实现了任务按敏感度优先的原则进行调度。最后对算法进行了调度可行性分析,并在长沙市非税系统中进行了实验,结果表明其性能及失效率较MUF更优。

关键词: 安全关键系统, 调度特征, 模糊分类, 敏感度优先, 实时调度模型

Abstract: The development of IoT and WSN may take more applications into safety-critical systems.But those applications have different characters with traditional safety-critical systems,such as medical systems,nuclear power systems and aeronautical systems.Study on scheduling characters of non-traditional safety critical systems is carried on in this paper.And great differences are founded between the non-traditional and the traditional,especially on itemization of tasks.It will cause many problems while applying existing scheduling models to those applications directly.Scheduling characters of non-traditional safety-critical systems are set up.A real-time scheduling model and MSF algorithm to meet those characters,where tasks are fuzzy itemized and the algorithm includes two steps to schedule tasks ordered by sensitity.Finally,a feasibility analysis and a test on the non-taxable system of Changsha city are taken.The result shows that MSF holds better performance and less failure number of tasks than MUF.

Key words: safety critical system, scheduling characters, fuzzy itemized, sensitity, real-time scheduling model