11月10日下午，信息科学与工程学院联合开源软件与实时系统教育部工程中心采用线上线下结合的形式成功举办了飞云大讲堂第一讲，特别邀请长期与学院进行科研合作的航天五院502所研究员乔磊博士，作题为“航天器操作系统的研究与实践”的专题报告，学院400余名师生线上参与，300多名研究生和本科生在榆中校区教室内集体聆听。报告会由学院党委书记陈文波主持。

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

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

报告结束时，参会的老师和学生积极地与乔磊老师进行了在线互动，进一步了解了航天领域操作系统的设计要求和应用特点。师生们表示，中国航天事业从无到有，从苦苦追赶到挺起脊梁，是一代代航天人隐姓埋名、艰苦奋斗、持续努力的结果，中国航天人在创造的一个又一个奇迹中，锻造培育了伟大的航天精神。大家都表示受益匪浅!

虽然报告会因疫情在线上举行，但是学院积极策划、精心筹备，及时准确地向师生发布讲座相关信息，有序引导师生参加会议，在符合疫情防控的要求下组织榆中校区学生集中在教室聆听报告，引起了师生的极大兴趣和热烈讨论。今后，学院将持续邀请学术大师开展学术讲座，拓宽师生学术视野，通过开展“飞云大讲堂”活动进一步提升学术能力和水平。师生们也将以党的二十大精神为指引，不断超越自我，再攀高峰，踔厉奋进，为把我国建设成为航天强国而奋斗。