期刊文献+

可升级的高可信嵌入式系统模型 被引量:1

AN UPGRADEABLE MODEL FOR EMBEDDED DEPENDABLE SYSTEMS
在线阅读 下载PDF
导出
摘要 针对嵌入式系统升级的基本需求及面临的主要问题,提出一种支持高可信嵌入式系统安全的在线升级的模型。详细分析了该模型的理论基础和结构组成,并指出实现该模型需要解决的问题。 In this paper, a new model is present, which can realize embedded system on-line dependable upgrade. It describes the theoretical foundation of the upgradeable model, and analyzes the composition of the upgradeable model. In the end of this paper, the problems are pointed, which should be solved to realize the model.
作者 陈宇 熊光泽
出处 《计算机应用》 CSCD 北大核心 2002年第2期14-16,共3页 journal of Computer Applications
基金 国防预研项目基金资助(2 0 0 0J6.7.1.DZ0 2 0 6)
关键词 嵌入式系统 升级 可信度 分析 冗余 操作系统 计算机 embedded system upgradeability dependability analytical redundancy
  • 相关文献

参考文献6

  • 1[1]Burns A., Welling A.Real-Time System and Programming Languages[M].Second Edition.Addison-Wesley, 1996.
  • 2[2]Joel Sherrill, Jeff Mayes.SAFER: A Scaleable Architecture forEmbedded Reliable Real-Time Systems[R].On-Line Application Research Corporation, Technical Report, OAR-TR-99-183-03, June 1999.
  • 3[3]Sha Lui, Rajkumar Ragunathan, Gagliardi M.A Software Architecture for Dependable and Evolvable Industrial Computing Systems[R].Software Engineering Institute, Technical Report, CMU/SEI-95-TR-005, July 1995.
  • 4[4]Gagliardi Michael, Rajkumar Ragunathan, Sha Lui.Designing forEvolvability: Building Blocks for Evolvable Real-Time Systems[J].Proceedings of the IEEE Real-Time Technology and Applications Symposium, June 1996.
  • 5[5]Lui C.L., Layland J.W.Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environment[J].Journal of the Association of Computing Machinery, 1973,20(1).46-61.
  • 6[6]Walter L.Heimerdinger, Charles B.Weinstock.A ConceptualFramework for System Fault Tolerance[R].Software Engineering Institute, Technical Report, CMU/SEI-92-TR-33, July 1992.

同被引文献2

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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