童真 何永保 陈燕 何勇强 杜玄 江建慧 闵应骅 游超松 孙健

测试 Walsh谱 设计 面向方面编程 嵌入式系统 故障 SystemC设计语言 模拟 纠错 硬件描述语言 自动化 故障安全接口 双模冗余结构 差错定位 验证

复旦大学计算机科学系 中兴通讯股份有限公司上海研究所 复旦大学计算机与信息技术系