高可信星载计算机的验证及其均衡优化技术研究
文献类型：学位论文
| 作者 | 张小林 |
| 学位类别 | 博士 |
| 答辩日期 | 2009 |
| 授予单位 | 中国科学院研究生院（上海微系统与信息技术研究所） |
| 导师 | 杨根庆 |
| 关键词 | 可信性 星载计算机 可验证性 片上总线 验证平台 |
| 学位专业 | 通信与信息系统 |
| 中文摘要 | 随着处理器逐步采用纳米级的制造工艺，星载计算机系统的设计开始面临如何从不可靠的器件、模块、设计流程和制造工艺构建高可信系统的严峻挑战。 本文以星载计算机Lyra的研制为背景，以设计错误和瞬态故障引起的软错误为主要研究对象，提出了高可信星载计算机系统开发框架，重点研究了星载计算机可验证性设计、覆盖率驱动的验证平台，以及可靠性、功耗和性能的均衡优化技术。 本文研究工作的主要创新点与贡献如下： 1）、提出了可信性的可验证性属性，引入了可信性代价收益函数的概念，用于在系统的可信性和设计成本之间均衡。建立了比较完善 |
| 语种 | 中文 |
| 公开日期 | 2012-03-06 |
| 页码 | 153 |
| 源URL | [http://ir.sim.ac.cn/handle/331004/83142]  |
| 专题 | 上海微系统与信息技术研究所_微系统、冶金所学位论文_学位论文 |
| 推荐引用方式 GB/T 7714 | 张小林. 高可信星载计算机的验证及其均衡优化技术研究[D]. 中国科学院研究生院（上海微系统与信息技术研究所） . 2009. |
入库方式： OAI收割
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。