王司 高珑 刘建军 钟珊 李爱国 叶宏 杨学军 王鼎兴 周笛 洪炳镕

多米诺效应 软件实现的硬件容错 故障注入 分布系统 容错 检查点 程序设计环境 错误流模型 错误模型 结构分析与设计语言 可靠性 单粒子效应 状态映射 环境扰动 故障恢复 软件脆弱点 计算数据流模型 可靠性建模