讲坛题目：飞天寻梦、把脉未来----天脉操作系统研制历程回顾

主讲人：叶宏副总工程师

讲座时间：2023年6月13日，14:00-16:00

地点：工1-508

主办单位：研究生院

承办单位：计算机科学与工程学院

摘要：天脉系列嵌入式实时操作系统是航空工业计算所针对航空武的器装备需求研制的一款自主知识产权的高安全、高可靠操作系统，目前已大规模性应用于我国多种飞机型号中，在国内产生了重大影响。本讲座主要通过生动案例，介绍了天脉系列产品研制的艰辛历程，从不被理解到国家立项、从多种反对声到断然决策、从不信任到用户认可、从单机验证到规模化应用等多视角、多维度讲解了天脉研制的精神和信念。最后展望了天脉未来。

个人简介：叶宏，中国航空工业集团西安航空计算技术研究所研究员，副总工程师，享受国家政府特殊津贴专家，航空工业集团特级专家。中国计算机学会（CCF）高级会员，形式化/嵌入式系统专委会常委。长期从事航空装备安全攸关软件的研究和研制工作，曾主持30余项国家重点预先研究、国家重点自然基金、国家“核高基”专项以及航空装备型号任务。作为国产天脉操作系统的总设计师，主持研制了多系列的天脉产品，覆盖多种应用领域，已被我国各种军用机型飞机规模应用，其成果在国内出处于领先地位。曾获得部级国防科技成果奖10项，省部科技成果奖14项，个人荣立航空集团功7项，获国家发明专利12项，发表学术论文（合编、专著、国军标等）30余篇。主要研究方向包括嵌入式系统、操作系统、航空电子系统、安全攸关系统和软件安全性可靠性等技术。