高可靠嵌入式计算机系统的发展

doi:10.3969/j.issn.1000-436x.2013.z1.022

摘要/Abstract

摘要：

通过归纳高可靠嵌入式计算机系统的技术特征，分析高可靠嵌入式计算机系统的实现途径，对高可靠嵌入式计算系统的演进进行了系统论述，分别从基础可靠性、系统可用性、系统完整性和系统可信性等技术途径详细地分析了高可靠计算机系统的发展思路，并结合高可靠技术的发展趋势，提出了涵盖完整性等级、容错范围和余度范围等3个维度的高可信嵌入式计算机体系架构，以使人们对高可靠嵌入式计算机系统的认识更加清晰，从而把握高可靠嵌入式计算机系统发展的要点。

关键词: 嵌入式计算机, 高可靠技术, 容错技术, 故障检测

Abstract:

The technical features and implement methods of dependable embedded computers were concluded and ana-lyzed, of which the evolution was systemically described. The development process was depicted by four phases, the ba-sic reliability, the system availability, the system integrity and the system dependability. Based on the trend of dependable technology, the dependable computer architecture was proposed with three dimensions, integrity level, fault-tolerant scope and redundancy scope, in order to emphasize the key technologies in the safety critical domain.

Key words: embedded computer, dependability technology, fault-tolerant technology, failure detection

孔德歧,李亚晖,郭鹏. 高可靠嵌入式计算机系统的发展[J]. 通信学报, 2013, 34(Z1): 170-175.

De-qi KONG,Ya-hui LI,Peng GUO. Development of dependable embedded computer systems[J]. Journal on Communications, 2013, 34(Z1): 170-175.

图/表 6

图1

图2

图3

图4

图5

图6

参考文献 24

[1]	欧国建，石为人．面向多嵌入式系统的构架研究[J]．计算机应用， 2009,12(29):203-206. OU G J , SHI W R . Research of framework for multi-embedded sys-tem[J]. Journal of Computer Applications, 2009,12(29):203-206.
[2]	徐琼，徐科挺．计算机嵌入式操作系统研究[J]．科技资讯， 2012,4(10):13-15. XU Q , XU K T . Research of computer embedded OS system[J]. Science ＆ Technology Information, 2012,4(10):13-15.
[3]	徐明，沈希，钱陆均．嵌入式计算机系统技术[J]．工业仪表与自动化装置， 2005,6(11):101-104. XU M , SHEN X , QIAN L J . The technology of an embedded micro-processor unit system[J]. Industrial Instrumentation ＆ Automation, 2005,6(11):101-104.
[4]	OBERMAISSER R , KOPETZ H . A Candidate for an ARTEMIS Cross-Domain Reference Architecture for Embedded Systems[D]. Vi-enna University of Technology, 2009.
[5]	KAYALI S . Reliability and qualification of III/V semiconductor de-vices for space applications[J]. Electronic Packaging＆Space Parts News: EEE Links, 1999,5 (4):14-19.
[6]	SURI N . DECOS: Dependable Embedded Components and Systems[D]. Darmstadt University of Technology, 2007.
[7]	陈颖，孙博，谢劲松等．高可靠元器件的使用环境、试验条件和失效机理[M]．可靠性物理与失效分析技术， 2007. CHEN Y , SUN B , XIE J S , et al. Typical Use Environmental Condi-tions, Test Conditions and Failure Mechanisms of High Reliability Electronic Components[M]. Electronic Product Reliability and Envi-ronmental Testing, 2007.
[8]	邓超，于平，施炜雷．电路仿真在可靠性设计中的应用[J]．微计算机信息， 2008,24(11):268-270. DENG C , YU P , SHI W L . The application of circuit simulation on de-signing for reliability[J]. Microcomputer Information, 2008,24(11):268-270.
[9]	刘小雄，章卫国，李广文．电传飞行控制系统的余度设计技术[J]．飞机设计， 2006,3(1):35-38. LIU X X , ZHANG W G , LI G W . Redundancy techniques for fly-by-wire flight control systems[J]. Aircraft Design, 2006,3(1):35-38.
[10]	石贤良．飞行控制计算机系统余度管理技术研究[D]．西安：西北工业大学， 2009. SHI X L . Research of Redundancy Management Technology in Flight Control Computer System[D]. Xi′an: Northwestern Polytechnical University, 2009.
[11]	BEARD R V . Failure Accommodation in Linear System Through Self Reogrnnaization[D]. Cambridge, 1971.
[12]	李亚，万群丽，许满武．软件恢复技术研究[J]．计算机科学， 2003,4(10):48-50. LI Y , WAN Q L , XU M W . Research of software recovery technol-ogy[J]. Computer Science, 2003,4(10):48-50.
[13]	陈浩．处理器Lockstep技术研究[J]．数字技术与应用， 2012,8(12):98-101. CHEN H . Research on processor lockstep technique[J]. Digital Tech-nology ＆ Application, 2012,8(12):98-101.
[14]	杨蓓，吴振强，符湘萍．基于可信计算的动态完整性度量模型[J]．计算机工程， 2012,38(2):78-81. YANG B , WU Z Q , FU X P . Dynamic integrity measurement model based on trusted computing[J]. Computer Engineering, 2012,38(2):78-81.
[15]	KOPETZ H . An integrated architecture for dependable embedded systems[A]. Proceedings of the 23rd IEEE International Symposium on Reliable Distributed Systems[C]. 2004.250-262.
[16]	钱华明，李仲玉，马吉臣．海明码在提高导航数据传输可靠性中的应用[J]．微计算机信息， 2008,24(12):225-227. QIAN H M , LI Z Y , MA J C . The application of Hamming code in im-provement of navigation transmission's reliability of date[J]. Microcom-puter Information, 2008,24(12):225-227.
[17]	李霄，石文昌，梁朝晖等．进程运行时完整性度量的体系结构设计[J]．微电子学与计算机， 2009,26(9):183-186. LI X , SHI W C , LIANG Z H , et al. Design of an architecture for proc-ess runtime integrity measurement[J]. Microelectronics ＆ Computer, 2009,26(9):183-186.
[18]	何坤．一种基于动态反馈的数据存储可靠性保证方法[J]．电脑知识与技术， 2011,7(28):6901-6903. HE K . Data reliability assurance method based on dynamic feedback[J]. Computer Knowledge and Technology, 2011,7(28):6901-6903.
[19]	朱庆，周艳．分布式空间数据存储对象[J]．武汉大学学报， 2006,31(5):391-394. ZHU Q , ZHOU Y . Distributed spatial data storage object[J]. Geomatics and Information Science of Wuhan University, 2006,31(5):391-394.
[20]	吕雪锋，程承旗，龚健雅等．海量遥感数据存储管理技术综述[J]．中国科学， 2011,41(12):1561-1573. LV X F , CHENG C Q , GONG J Y , et al. Review of data storage and management technologies for massive remote sensing data[J]. China Tech Sci, 2011,41(12):1561-1573.
[21]	孙鹏，赵军锁，张文君．软件容错：技术与展望[J]．计算机工程与科学， 2007,29(8):88-92. SUN P , ZHAO J S , ZHANG W J . Software fault tolerance:techniques and prospects[J]. Computer Engineering ＆ Science, 2007,29(8):88-92.
[22]	SWIFT M M , BERSHAD B N , LEVY H M . Improving the reliability of commodity operating systems[J]. ACM Trans on Computer Systems, 2005,23 (1):124-131.
[23]	JAEGER T , SAILER R , SHANKAR U . PRIMA: policy-reduced integrity measurement architecture[A]. Proc of the 11th ACM Sympo-sium on Access Control Models and Technologies[C]. Lake Tahoe,USA, 2006.19-28.
[24]	杨霞．高可信嵌入式操作系统体系架构研究[J]．计算机应用， 2006,26(5):120-124. YANG X . Research of high dependable embedded OS system archi-tecture[J]. Journal of Computer Applications, 2006,26(5):120-124.