朱小冬 马旭东 王亚非 雷航 刘华谱 刘彦斌 熊光泽

软件监控 维修 维护与修理 关闭计算机 家用电脑 内存管理 CMOS RAM 过程控制 系统配置 运行时间 物理损坏 截止时间 可靠性评价 机械故障 数据失效 系统软件 插桩 硬件故障 形式化方法 安全 实时多任务 管理 例行任务 软件可靠性 交流稳压电源 保健大夫 结点通讯 软故障 运行环境 WIN32