您的位置： 专家智库 > >

王建莹

作品数：13 被引量：111H指数：7
供职机构：哈尔滨工业大学计算机科学与技术学院计算机科学与工程系更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术航空宇航科学技术更多>>

合作作者

文献类型

  • 11篇期刊文章
  • 1篇学位论文
  • 1篇科技成果

领域

  • 13篇自动化与计算...
  • 1篇航空宇航科学...

主题

  • 13篇计算机
  • 12篇容错
  • 7篇计算机系
  • 7篇计算机系统
  • 5篇容错计算
  • 5篇容错计算机
  • 4篇容错计算机系...
  • 3篇容错机制
  • 3篇故障注入器
  • 2篇容错系统
  • 2篇可靠性
  • 2篇可靠性评估
  • 1篇硬件
  • 1篇宇宙
  • 1篇宇宙飞船
  • 1篇系统可靠性
  • 1篇系统可靠性评...
  • 1篇基于硬件
  • 1篇飞船
  • 1篇测评

机构

  • 13篇哈尔滨工业大...
  • 1篇中国科学技术...

作者

  • 13篇王建莹
  • 10篇杨孝宗
  • 10篇孙峻朝
  • 1篇徐海智
  • 1篇曲峰

传媒

  • 2篇计算机研究与...
  • 2篇计算机工程与...
  • 1篇宇航学报
  • 1篇电子学报
  • 1篇计算机学报
  • 1篇计算机工程与...
  • 1篇微电子学与计...
  • 1篇小型微型计算...
  • 1篇计算机工程与...

年份

  • 3篇2001
  • 2篇2000
  • 6篇1999
  • 2篇1998
共 13 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
故障和容错机制的层次模型被引量：2
1999年
该文讨论了根据系统划分和功能两种不同角度建立的系统层次模型，在此基础上分析了这两种系统层次模型对建立故障模型和客借机制模型的指导作用。
孙峻朝王建莹杨孝宗
关键词：容错机制计算机系统
容错计算机系统可靠性评估中的覆盖率问题
1999年
覆盖率是容错系统设计和评估中的重要概念。该文介绍了采用行为分解技术建立和求解覆盖率模型的方法，总结了用故障注入技术估计覆盖率需要考虑的几个问题。以一个双机容错系统的评估为例，说明了这些方法在容错系统可靠性评估中的应用。
王建莹孙峻朝杨孝宗
关键词：可靠性容错计算机系统
FTT-1:一个基于硬件的故障注入器的设计与实现被引量：7
1998年
故障注入是评价计算机系统可信性的一种重要的试验方法。构造故障注入器是故障注入研究中的一个重要组成部分。此文介绍了ＦＴＴ－１，一个基于硬件的故障注入器的设计与实现。文章讨论了设计与实现硬件故障注入器的关键技术，并介绍了在ＦＴＴ－１的实现中解决这些关键技术的方法。试验结果证明了ＦＴＴ－１用于评价容错计算机系统可信性的有效性。
王建莹孙峻朝李运策杨孝宗
关键词：容错计算机硬件故障注入器
容错机制的测试与评估技术被引量：1
1999年
文章分析了容错机制在其评价过程中所表现出来的若干特征，进而从测试和评估两方面讨论了容错机制的评价技术。
孙峻朝王建莹杨孝宗
关键词：计算机容错
一种用于容错计算机系统整体验证的故障注入试验策略被引量：8
2001年
故障注入是一种有效的用于容错计算机系统验证的技术 .分析了系统的层次分解模型在故障注入试验中的作用 .提出一种基于动态故障树的容错系统分解模型 MBDT,着重讨论利用这种模型产生故障注入试验属性集的方法 ,最终形成一种对容错计算机系统进行整体验证的故障注入试验策略 .这种试验策略已经应用于研制的硬件故障注入器 HFI- 3中 ,并对一个航天容错计算机进行了验证 。
王建莹孙峻朝杨孝宗
关键词：容错系统计算机
容错机制测评中的故障注入模型及应用算法被引量：11
1999年
故障注入（ＦＩ）是一种有效的测试和评价容错机制（ＦＴＭ）的方法， 可被普遍应用于容错计算机系统开发过程的各个阶段中． ＦＩ技术正确的和更广泛的应用依赖于对ＦＩ原理的一致理解． 文中首先详细讨论了ＦＩ的应用对象即ＦＴＭ 在测评中所表现出来的若干特征， 在此基础上提出了六元组描述的ＦＩ模型， 并对各组成元的属性进行了深入分析． 同时， 作为ＦＩ模型的具体应用过程， 文中给出了ＦＩ独立试验算法（ＦＩ－ＩＥＡ），
孙峻朝王建莹杨孝宗
关键词：容错机制计算机
用软件实现的故障注入工具评估错误检测机制被引量：14
2000年
故障注入是容错计算机系统可靠性评估的重要手段 .本文介绍了软件实现的故障注入工具 SOBFI的设计和实现 .用 SOBFI对 RS6 0 0 0工作站的错误检测机制和两种软件实现的错误检测机制进行了试验评估 .结果表明 ,在非容错商用计算机系统中加入简单的软件实现的错误检测机制 ,也可以达到很高的错误检测覆盖率 .
王建莹杨孝宗徐海智
关键词：容错计算机
故障注入方法与工具的研究现状被引量：66
2001年
本文将故障注入技术分为基于模拟的故障注入和基于物理的故障注入两类 ,并从应用方法和工具结构两方面介绍了该项技术的研究现状。
孙峻朝王建莹杨孝宗
面向容错系统验证的故障注入技术研究
目前在中国的航天、航空、国际等重要领域使用的计算机系统一般都为自行研制,而且大多为高可靠的容错计算机系统.故障注入技术作为一种容错计算机可靠性测评的重要方法,能够为容错计算机系统的研制提供重要的技术支持.该文对有关故障注...
王建莹
关键词：容错计算机系统容错系统
文献传递
计算机系统开发中的可信性评价概述被引量：2
1998年
本文将高可信计算机系统的开发过程划分为需求、设计、实现和集成四个阶段，分别介绍各阶段中与可信性有关的任务及可信性评价技术的应用。
孙峻朝王建莹杨孝宗
关键词：容错计算机系统
全选 清除 导出
共2页<12>
聚类工具0