CCF@U748：叶宏走进南昌航空大学
2019年12月12日，CCF走进高校活动来到南昌航空大学。本次活动邀请CCF专业会员、航空工业西安航空计算技术研究所研究员叶宏为大家带来精彩的专题报告。活动由CCF南昌航空大学学生分会督导主任陈英主持，南昌航空大学近百名CCF学生会员参加了此次活动。
叶宏的报告主题是《机载软件的安全性和可靠性设计技术》。报告针对第四代航空电子系统发展所带来的机载软件安全性和可靠性问题展开论述。叶宏首先介绍了航空电子综合化后计算机硬件所面临的挑战，指出当前机载软件存在的主要问题；然后从机载软件架构和开发方法的视角介绍保障机载软件安全性和可靠性所采取的方法；最后介绍了几种典型的安全性和可靠性设计方法，并简要介绍我国研制的天脉操作系统在此方面的考虑。
叶宏的报告深入浅出，精彩纷呈，他用自己的学术能力和人格魅力，为在场师生生动地普及了机载软件安全性和可靠性设计技术的相关知识。同学们就自己的疑问积极向叶宏请教，叶宏一一给出了详细的阐述，现场互动十分热烈。参会师生纷纷对CCF走进高校活动表示赞扬，并希望以后有更多机会参与这样的活动。
陈英致辞
叶宏作报告
