艾武 何冰 宋巍 刘茜萍 贾焰 李慧芳 陈冰 彭思鹏 汪芸 阳富民 陈幼平 贺小川 刘云生 李俊 范玉顺 涂刚 倪少杰 刘小汇 张立臣 谢俊清 卢炎生 罗威 谢经明 沈卓炜 曹万华 刘连臣 伍微 冉龙波 刘育芳 吴澄

实时系统 EDF调度算法 控制器局域网络 时序逻辑 形式化描述 不可抢占式 抢占阈值分配 LRIF 容错优先级 模型检查 系统容错能力 可重入流生产线 EDF 实时应用 共享资源 高利用率 时间自动机 栈资源协议（SRP） MUF CORBA 延期单调速率调度算法 端到端 时间相关Petri网 最坏执行时间 最坏响应时间 工作流 容错实时系统 抢占阈值调度（FPPT） 实时调度 时间约束

实时系统