NASAC2019系统软件构造与验证技术论坛顺利召开

2019年11月22-24日，由中国计算机学会（CCF）主办，CCF软件工程专委会、系统软件专委会和浙江大学共同承办的第十八届全国软件与应用学术会议（NASAC 2019）在杭州举行

作为国内软件领域顶级学术会议，本届大会众星云集。军事科学院梅宏院士、浙江大学陈纯院士、国防科技大学王怀民院士、ACM SIGSOFT 主席 Thomas Zimmermann、微软研究院高级研究员等专家出席了大会。

本届大会设置特邀报告、会议论文报告、专题论坛、优博论坛、青年学者论坛、顶会顶刊论坛和软件系统原型竞赛等20多种学术交流活动，吸引了超过1400名来自高校和企业的专家、学者和学生参加，创历史新高。

11月22日，望安科技董事长赵永望教授担任在NASAC大会工业系统软件构造与验证的论坛主席，召集并组织论坛顺利召开。

望安科技董事长赵永望教授担任在NASAC大会工业系统软件构造与验证的论坛主席

系统软件是计算机系统和领域关键系统的核心基础软件，主要包括基础系统软件，如操作系统、语言及编译器、中间件、数据库、基础软件库等；领域系统软件，如无人车、大飞机、无人机、工业控制、载人航天、卫星、空间探测器等的核心控制软件，区块链的关键基础软件等。系统软件的安全可靠性关系整个系统，如何构造并验证高质量的系统软件仍然是学术界和工业界面临的大挑战。

本次论坛围绕“系统软件构造与验证技术”主题展开研讨。论坛特别邀请了国内编译器验证和操作系统研发的顶尖团队和企业，做特邀报告。并有10个学术报告，分别来自清华大学、南京大学、国防科技大学、英国约克大学、澳大利亚莫纳什大学、天津大学、东北大学等。

NASAC大会工业系统软件构造与验证的论坛现场

本场论坛在热烈的气氛中圆满落幕。软件化的工业技术、软件定义的生产体系，肯定会带来生产关系的优化和重构。同时，验证技术的不断深入研究和应用，也必将进一步保障软件的底层安全。望安科技也将不断加强安全技术的研究和建设，加速推动安全保障能力的提升。