吕紫旭 卢昱 尚利宏 李红兵 刘栋 张炯 刘一 黄浩东 阮俊波 鲍峥 郭金海

多线程 设备驱动程序 多任务 监控 实时 安全性 体系结构 RTEMS 异步 证书系统 综述 N模冗余 确认测试 数据共享 AT91SAM7A2 多处理器 非航空电子系统监控处理机 软件测试 嵌入式系统 三模冗余 同步 计算机网络 非航空电子系统模拟综合器 实时操作系统 测试 测试用例 嵌入式 白盒测试

北京航空航天大学计算机科学与工程系 北京航空航天大学自动化科学与电气工程学院 北京航空航天大学计算机学院 北京航空航天大学计算机科学系