徐立峰 毕全起 容晓峰 罗钧 张立臣 王建 叶克江 刘积仁 王秀坛 胡潇 李翌 白慧华 冯清华 吴志 朱瑾 徐惠婷 沈卓炜 林中达 王卫华 张卫 黄旭东 钟联炯 周学海 张星烨 郝青松 尉迟颢颐 赵东明 刘桂雄 梁启宏 李勇

软实时 现场可编程逻辑器件 纠错 可最小化的时间自动机 CAN总线 模型检测 软件体系结构 非周期性任务 有序时段性质 抗干扰 实时转接 监控 FPGA 注射成型 VxWorks 时间开销 分支限界 时分原理 人群绘制 UPPAAL 实时调度 有向图 层次细节 优先级反转 优先级检索 优化调度 互联应用 支撑平台 硬实时 系统可靠性系统性能