楼俊钢 胡瑾 闵应骅 陈川 赵时旻 章力源 陈火军 孔亮亮 朱为国 彭澄廉 靳昂 金涛 唐智杰 梁剑华

嵌入式系统 软件漏洞 寄存器传输级电路 超大规模集成电路 假设检验 内建自修复 嵌入式存储器 可信性评估 故障模型 随机完全区组设计 容侵 门级电路 Linux软件 故障注入 系统验证 性能基准程序 基准程序 软件实现的故障注入 内建自测试 双模冗余结构 嵌入式操作系统 动态检测 性能分析 纠错 栈溢出 实时性能 故障安全接口 性能测量 缓冲区溢出 差错定位

同济大学计算机科学与技术系 上海申通轨道交通研究咨询有限公司