| 可升级的高可信嵌入式系统模型 |
| |
| 引用本文： | 陈宇,熊光泽. 可升级的高可信嵌入式系统模型[J]. 计算机应用, 2002, 22(2): 14-16 |
| |
| 作者姓名： | 陈宇 熊光泽 |
| |
| 作者单位： | 电子科技大学,计算机科学与工程学院,四川,成都,610054 |
| |
| 基金项目： | 国防预研项目基金资助(2 0 0 0J6.7.1.DZ0 2 0 6) |
| |
| 摘 要： | 针对嵌入式系统升级的基本需求及面临的主要问题，提出一种支持高可信嵌入式系统安全的在线升级的模型。详细分析了该模型的理论基础和结构组成，并指出实现该模型需要解决的问题，及其广泛的应用前景。
|
| 关 键 词： | 嵌入式系统 升级 可信度 分析 冗余 操作系统 计算机 |
| 文章编号： | 1001-9081(2002)2-0014-03 |
| 修稿时间： | 2001-08-17 |
An Upgradeable Model for Embedded Dependable Systems |
| |
| CHEN Yu,XIONG Guang ze. An Upgradeable Model for Embedded Dependable Systems[J]. Journal of Computer Applications, 2002, 22(2): 14-16 |
| |
| Authors: | CHEN Yu XIONG Guang ze |
| |
| Abstract: | 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. |
| |
| Keywords: | embedded system upgradeability dependability analytical redundancy |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
