吴炜 雷倩睿 孟祥义 吴晓利 臧红伟

Linux 机载计算机 可靠性分析 完整性 共性故障 检索 评价 机内测试 余度计算机 故障树 LSM N版本编程 可靠性 故障注入 颜色特征量 BLP模型 容错软件 边界扫描 可测试性 容错计算机系统验证

上海师范大学 西北工业大学计算机工程系 陕西西安710072中国航空计算技术研究... 中国航空计算技术研究所 西北工业大学计算机科学与工程系 93897部队