贾永泉 李曦 张晔 龚育昌 周学海 邓会敏 冯小天 孙德才 李奇

运行时 知识主题 执行流 服务体执行流模型（SEFM） 静态扫描 指令级 服务路由 服务体 Hook Windows 消息推动通信 OSEKVDX标准 嵌入式操作系统 端口 数据结构 服务分布 “问题—探究”教学模式 访问控制框架 服务组合 内核结构与设计方法 局域网 负载平衡 机密性 构件化操作系统 内核核心服务体 服务体间通信 引流机制 OSEKernel 存储地址空间

中国科学技术大学计算机科学与技术系 中国科学技术大学计算机科学技术系