嵌入式实时系统中基于检验点检测的电压分配技术

被引：3

作者：

李国徽 ^{[1
]}

杨兵 ^{[1
]}

胡方晓 ^{[1
]}

许华杰 ^{[2
]}

杜建强 ^{[3
]}

机构：

[1] 华中科技大学计算机学院

[2] 上海第二工业大学计算机与信息学院

[3] 江西中医学院计算机系

来源：

计算机学报 | 2009年 / 32卷 / 12期

基金：

中央高校基本科研业务费专项资金资助;

关键词：

嵌入式实时系统; 非周期任务; 容错技术; 能量管理; 电压分配;

D O I：

暂无

中图分类号：

TP316.2 [实时操作系统];

学科分类号：

081202 ; 0835 ;

摘要：

嵌入式实时系统的实时特性、高度的系统可靠性和低系统能耗对综合考虑系统的容错和节能提出了要求.研究了嵌入式实时系统中如何达到上述三大目标的非周期任务调度和电压分配问题.在基于检验点容错技术的可调度性检测基础上,提出了对于系统非周期任务的基于调度性检测的电压分配算法CST-VA,该算法在保证任务实时性的同时提高了系统的可靠性,节省了系统的能耗.模拟实验表明,该算法比现有电压分配算法更适合于嵌入式实时系统.

引用

页码：2403 / 2410

页数：8

共 12 条

[1]

Fault Tolerance Computer: Theory and Techniques. Pradhan D K. . 1986

[2]

Derivation and calibration of a transient error reliability model. Castillo,X,McConnel,S R,Siewiorek,D P. IEEE Transactions on Computers . 1982

[3]

A unified approach for fault tolerance and dynamic power management in fixed-priority real-time embedded systems. Y.Zhang,and K.Chakrabarty. IEEE Trans.Computer-Aided Design of Integrated Circuits and Systems . 2006

[4]

The interplay of power management and fault recovery in real-time systems. Melhem R,Mosse D,Elnozahy E M. IEEETransactions on Computers . 2004

[5]

Power Opti mization of Vari-able Voltage Core-Based Systems. Hong I,Kirovski D,Qu G,et al. IEEE Trans on Com-puter-Aided Design of Integrated Circuits and Systems . 1999

[6]

Reliable Computer Systems: Design and Evaluation. Siewiorek D P,,Swarz R S. . 1998

[7]

Embedded robustness ips for transient-error-freeics. Dupont E,Nicolaidis M,Rohr P. IEEE Transactions on Design and Test of Computers . 2002

[8]

Energy-aware adaptive check-pointing in embedded real-ti me systems. Zhang Y,Chakrabarty K. Proceedings of the2003Design,Automation and Test in Europe Conference and Exhibition . 2003

[9]

Asurvey of design tech-niques for system-level dynamic power management. Benini L,Bogliolo A,Micheli G D. IEEE Transactions on Very Large Scale Integration(VLSI)Sys-tems . 2000

[10]

Opti mal voltage allocation techniques for dynamically variable voltage processors. Kwon W C,Ki m T. Proceedings of the2003Design Automation Conference . 2003

← 1 2 →