龚志远 陈艳 叶永鑫 苗长云 李京生 张晔 郭东辉 丁晓明 厉彦峰 赵云忠 徐晓峰 毕国楦 黄永葵 刘斌 李晓潮 杨顺昆

容错 测试系统 可靠性 竞态集 处理器 脚本模型化 仿真模型 实时操作系统 MIPSR3000 FPGA Linux系统 测试脚本 电话线路扩容器 Intel80960 竞态条件 通信设备 竞态条件图 仿真测试 执行序列 实时系统 调度策略 双机热备份 队列 RTX 实时核