期刊文献+

嵌入式多任务软件混合自容错机制 被引量:1

Hybrid Self Fault-tolerant Mechanism of Embedded Multi-tasks Software
下载PDF
导出
摘要 分析安全关键应用对嵌入式系统自容错能力的需求,进而研究嵌入式系统中关键任务状态的形式化描述方法及任务故障的自监测机制。在此基础上,提出一种基于策略的嵌入式多任务软件混合自容错机制。在该机制中,软件系统在监测各任务实体运行时状态的基础上,可依据不同方法对故障任务进行自恢复处理,并尽量保证系统主要功能的可靠性与稳定性。实验结果表明,该机制有助于从嵌入式软件方面提高嵌入式系统的可靠运行能力。 After analyzing the special self fault-tolerant requirements of embedded systems in safety critical applications,a formalization method of critical tasks and a self fault-detect mechanism is studied and proposed.A new policy-based self-recovery mechanism is researched for embedded multi-tasks software,which allows the embedded system to recovery faults of tasks according to the run-time status and the special policy.The realization of all the methods and technology is useful to advance the self fault-tolerance capability of the whole embedded system without any redundancy hardwares.
出处 《计算机工程》 CAS CSCD 北大核心 2011年第18期47-49,共3页 Computer Engineering
基金 国家部委基金资助项目
关键词 嵌入式 多任务 策略 故障自监测 自容错 embedded multi-tasks policy self fault-monitoring self fault-tolerance
  • 相关文献

参考文献6

二级参考文献71

  • 1Musa J D. Operational Profiles in Software Reliability Engineering[J]. IEEE Transactions on Software Engineering, 1993, 10(2): 14-32.
  • 2Krishnamurthy S, Mathur A P. On the Estimation of Reliability of A Software System Using Reliabilities of Its Components[C]//Proc. of the 8th International Symp. on Software Reliability Engineering. Albuquerque, USA: IEEE Computer Society, 1997.
  • 3[1]Standish Group. The CHAOS Report[R].Found at http://www. standishgroup. com. 1995.
  • 4[2]The Inquiry Board. Ariane 5 Flight 105 Inquiry Board Report [ R ].Paris: European Space Agency Press,July 1996.
  • 5[3]National Science,Technology Council (NSTC). America in the Age of Information: A Forum on Federal Information and Communications R&D[R]. Bethesda, Maryland, July 6 - 7,1995.
  • 6[4]NSTC.Research challenges in high confidence systems[A]. Proceedings of the Committee on Computing, Information, and Communications Workshop[ C ]. USA: http://www. hpcc. gov/pubs/hcs-Aug97/intro.html, August 6 - 7,1997.
  • 7[5]High Confidence Systems Working Group, NSTC. Setting an interagency high confidence systems (HCS) research agenda [ A ]. Proceedings of the Interagency High Confidence Systems Workshop [ C ]. Arlington,Virginia,25 March 1998.
  • 8[6]High Confidence Software and Systems Coordinating Group. High Confidence Software and Systems Research Needs[ R]. USA: http://www.ccic. gov/pubs/hcss-research. pdf, January 10,2001.
  • 9[7]President's Information Technology Advisory Committee. Information Technology Research:Investing in Our Future[ R] .Report to the President, USA: http://www. cs. rice. edu/~ ken/presentations/PITAC.pdf, February 24,1999.
  • 10[8]C A R Hoare. An axiomatic basis for computer programming[ J]. Communications of the ACM, 1969,12(10) :576 - 580.

共引文献137

同被引文献7

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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