张童 张春元 陈子辰 叶国骏 刘云生 刘东 姚鑫骅 熊光泽 雷航 桑楠 潘雪增 傅建中 张智超 查亚兵 李莉丽

主动备份 EDF算法 混合任务系统 可用度 PRA 面向服务的分布式仿真系统 实时系统 分布式系统 容错 算法 数控系统 主版本副版本 Web集群 软件容错 启发式搜索 检查点 FTRM 可靠性代价