2019年12月12日，CCF走进高校活动来到南昌航空大学。本次活动邀请CCF专业会员、航空工业西安航空计算技术研究所研究员叶宏为大家带来精彩的专题报告。活动由CCF南昌航空大学学生分会督导主任陈英主持，南昌航空大学近百名CCF学生会员参加了此次活动。

叶宏的报告主题是《机载软件的安全性和可靠性设计技术》。报告针对第四代航空电子系统发展所带来的机载软件安全性和可靠性问题展开论述。叶宏首先介绍了航空电子综合化后计算机硬件所面临的挑战，指出当前机载软件存在的主要问题；然后从机载软件架构和开发方法的视角介绍保障机载软件安全性和可靠性所采取的方法；最后介绍了几种典型的安全性和可靠性设计方法，并简要介绍我国研制的天脉操作系统在此方面的考虑。

叶宏的报告深入浅出，精彩纷呈，他用自己的学术能力和人格魅力，为在场师生生动地普及了机载软件安全性和可靠性设计技术的相关知识。同学们就自己的疑问积极向叶宏请教，叶宏一一给出了详细的阐述，现场互动十分热烈。参会师生纷纷对CCF走进高校活动表示赞扬，并希望以后有更多机会参与这样的活动。

微信图片_20191224173230

陈英致辞

微信图片_20191224173245

叶宏作报告

微信图片_20191224173317

微信图片_20191224173259

活动现场

微信图片_20191224173259

现场互动

微信图片_20191224173338

合影留念

讲者简介

微信图片_20191224173353

叶宏

CCF专业会员，航空工业西安航空计算技术研究所研究员，集团特级专家。长期从事高安全、高可靠软件技术的研发工作，曾主持国家重点预先研究、国家重大专项以及航空装备型号任务30余项。曾突破军用高级语言编译技术、航空电子系统软件开放式架构技术以及高安全软件设计与评测技术等，主持研制的天脉机载嵌入式操作系统，填补了国内空白，已被广泛应用于航空装备中。主要研究领域包括：操作系统、嵌入式系统、软件工程和软件安全性可靠性技术等。曾获国防科技进步奖9项，拥有多项国家（国防）发明专利，发表论文多篇，多次荣立集团一、二等功。