信息科学与工程学院2022年飞云大讲堂（第一讲）——乔磊 研究员

会议信息

主 讲 人：乔磊 航天五院502所

报告题目：航天器操作系统的研究与实践

主 持 人：陈文波 兰州大学信息科学与工程学院

报告时间：2022年11月10日（星期四）15:00-17:00

腾讯会议号：449-143-218

备注：本次报告设有入会密码，敬请联系主办方获取。

分析和总结中国航天领域嵌入式操作系统的研制历程及应用情况。重点介绍了中国航天科技集团公司五院502所研制的自主知识产权航天器嵌入式操作系统SpaceOS的设计和验证方法，并对未来航天器操作系统的发展前景进行了展望。

航天器是资源受限的安全关键系统，自主智能性要求日益增强，在面临外部环境和内部状态变化且不改变硬件资源的情况下，需对系统功能进行动态扩展和重构、同时保证系统功能正确性和实时性。本报告针对航天器任务实时性强、时间可预测性要求高等特点，以下一代航天器操作系统实时任务调度、共享资源协同、时间确定性保证等需求为例，研究航天器任务的实时调度，准入控制和形式化验证等关键问题，为航天器多类型实时任务执行提供实时性确保机制，并在实际航天器系统进行了应用实践。

乔磊，博士，航天五院502所研究员，CCF杰出会员。国家万人计划青年拔尖人才，中国航天科技集团公司青年拔尖人才，2019年度NASAC青年软件创新奖获得者，耶鲁大学访问学者。中国计算机学会系统软件、形式化方法和工业控制计算机专委会委员。一直致力于操作系统软件的设计、验证与可信保障技术研究。研究成果在以我国玉兔一号、二号月球车等为代表的重大型号任务中直接应用并发挥关键作用。发表论文50余篇，合作出版专著1本，申请国家发明专利20项，国际发明专利1项。主持或参与国家重大研究项目10余项，包括国家自然科学基金、核高基、863、装发预研等。作为核心成员，研发我国首个航天器操作系统SpaceOS，已应用于载人航天、探月工程、北斗导航等300多个航天器。获国防科技创新团队奖、北京市科技进步一等奖、军队科技进步三等奖等多项奖励。