期刊文献+

面向安全关键实时应用的分层防危调度算法研究 被引量:1

Hierarchical Safeguard Scheduling Algorithm for Safety Critical Real-time Application
下载PDF
导出
摘要 针对现有防危调度算法在软硬件失效情况下防危能力不足的问题,具体进行了以下工作:构建了一种分层防危实时调度模型,该模型从功能组件和安全分区两方面描述了安全关键实时应用的防危性需求,并给出一种基于分层调度思想的三级防危调度器框架。以该模型和框架为基础,提出了一种新的分层防危调度算法(HSS),该算法对安全关键实时应用中不同关键度的功能组件采用空间隔离机制,对同一功能组件内的不同分区采用时间隔离机制,兼顾实现了时空隔离的防危效果。仿真实验结果表明,HSS算法与其他同类算法相比,在防危效果和应用负载承受能力方面具有较好的表现。 The paper solved the problem that current popular safeguard scheduling algorithm cannot achieve the safeguard function under the environment of software and hardware failure.It built a new hierarchical real-time scheduling model which describes the safety requirement of safety-critical real-time application from two aspects including function component and safe partition,and designed a three-level safeguard scheduler framework.Based on the model and framework,the paper proposed a new hierarchical safeguard scheduling algorithm(HSS) which achieves spacial separation effect by distributing function components with different critical degrees to different physical processor clusters,and attains temporal separation effect by activating various partitions running on the same processor in a fixed cycle.Empirical investigations show that the improvements in the safeguard performance and the endurance to different application loads can be achieved by choosing HSS than other similar algorithms.
作者 夏平 周兴社
出处 《计算机科学》 CSCD 北大核心 2013年第1期94-97,共4页 Computer Science
基金 国家自然科学基金(60736017)资助
关键词 安全关键 实时 分层 调度 算法 Safety critical Real time Hierarchical Scheduling Algorithm
  • 相关文献

参考文献9

二级参考文献33

  • 1Partitioning in avionics architectures:requirements,mechanisms,and assurance, NASMCR- 1999-209347,1999.
  • 2Wake A S,Miller P R,Moxon P,et al.Modular avionics operating system-software concept[J].Microprocessors and Microsystems, 1997 (21) :63-48.
  • 3Cook A,Hunt K J R.ARINC 653-Achieving software re-use[J].Microprocessors and Microsystems,1997(20):479-483.
  • 4Wika K J.Safety kernel enforcement of software safety policies[D]. Charlottesville,VA:Department of Computer Science,University of Virginia, 1995.
  • 5Kim D,Lee Y H,Younis M.Software architecture supporting integrated real-time systems[J].The Journal of Systems and Software, 2003 ( 65 ) : 71-86.
  • 6Glamastra.The design of operating systems supporting temporal isolation[D].Pisa, Italy : ReTis Laboratory, Scuola Superiore S Anna, 2000.
  • 7Liu C L,Layland J W.Scheduling algorithms for multiprogramming in a hard real-time environment[J].Journal of ACM,1973,20(1): 46-61.
  • 8Audsley N,Bums A,Richardson M,et al.Hard real-time scheduling:The deadline monotonic approach[C]//The 8th IEEE Workshop on Real-Time Operating Systems and Software,Atlanta,CA,USA, 1991.
  • 9Lehoczky J,Liu S,Ding Y.The rate-monotonic scheduling algorithm:Exact characteristics and average case behavior[C]//IEEE Real-Time Systems Symposium,Los Alamitos, CA, 1989.
  • 10Li Xin Ying, Xiong Hua Gang. Modeling and simulation of integrated modular avionics//Proceedings of the 28th Digital Avionics Systems Conference. Orlando, USA, 2009: 7. B. 3.1- 7. B. 3.8.

共引文献20

同被引文献4

引证文献1

二级引证文献3

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部