11月22-24日，第十八届全国软件与应用学术会（NASAC 2019）在杭州如期举行。本届NASAC会议由中国计算机学会(CCF)主办，CCF软件工程专业委员会、CCF系统软件专业委员会、浙江大学共同承办，浙江工业大学、杭州电子科技大学、浙江大学城市学院协办。

工业系统软件是工业设备运行的核心中枢，工业智能化也已成为工业生产的未来趋势，新技术与制造业的不断融合，使工业软件和工业控制系统的安全性、可信性以及可靠性尤为重要。

11月24日上午，工业系统软件与工具技术论坛顺利召开。上海控安作为NASAC大会的合作单位，承办本期论坛，并得到工业和信息化部电子第五研究所、上海揆安网络科技有限公司、中国工业技术软件化产业联盟等企业机构的支持。

论坛邀请来自工业界资深的行业专家与企业家，围绕工业互联网、智能制造、工业嵌入式操作系统、形式化技术、功能安全与信息安全等多个维度展开讨论，吸引了来自国内外企业、高校和科研院所的近100位专家学者参与，共同探讨工业系统软件与工具目前在行业中的应用案例、重大挑战以及未来发展的趋势。

宁波工业互联网研究院院长、中控集团创始人褚健

宁波工业互联网研究院院长、中控集团创始人褚健带来“工业操作系统与智能制造”主题报告。他表示，当前企业实现智能制造所面临的核心问题是如何完成工业3.0到工业4.0的跨越，关键在于软件，工业软件，工业4.0就是一场软件驱动的革命；今天的制造只能称之为功能制造，智能制造的引擎是开放的工业操作系统，MES将被工业OS及工业APP所替代。

中国航空工业集团信息技术中心

原首席顾问宁振波

中国航空工业集团信息技术中心原首席顾问宁振波发表关于“工业互联网与智能制造”的主题报告。他认为，智能制造的本质是软件化的工业技术,由软件控制数据的自动流动,解决复杂产品的不确定性。软件化的工业技术、软件定义的生产体系,肯定会带来生产关系的优化和重构,必然会有一部分企业发展壮大,也有一部分企业大浪淘沙跟不上潮流,这是历史的必然。

中国电子科技集团公司第32研究所

总工程师张激

中国电子科技集团公司第32研究所总工程师张激分享关于“嵌入式开放软件架构与安全管理”主题内容。他表示：“多核处理器技术与网络通信技术的发展，驱动着嵌入式系统开放体系结构技术的不断演进，在安全关键的工控领域，信息安全与功能安全一体化的架构与系统技术不断成熟，并将促进工控系统的数字化、网络化与智能化的发展。”

卡斯柯信号有限公司研究设计院

上海分院副院长周庭梁

卡斯柯信号有限公司研究设计院上海分院副院长周庭梁针对“形式化方法在轨道交通列车运行控制系统的应用”话题进行剖析。他从标准的演化，谈到国内外形式化验证方法的应用案例，并介绍了卡斯柯在该领域的累累硕果；尤其值得一提的是上海轨道交通17号线，该线路是上海首条完整采用全自主列车运行控制系统解决方案的地铁线路，自动化等级达到GoA3级。

DEKRA德凯全球功能安全

高级副总裁Gerhard M.Rieger

DEKRA德凯全球功能安全高级副总裁Gerhard M.Rieger先生介绍了汽车领域功能安全和信息安全的现状及挑战。他指出，全世界每年有135万人因道路交通意外死亡，每24秒就有一人在道路上失去生命；尽管新一代汽车先进的网络连接能力使创新的安全功能和超物理特性得以发展，但是共享信息和车载通信的日益增长也使汽车更容易受到网络攻击。同时他也介绍了DEKRA在汽车功能安全及IT安全领域所能提供的服务。

本场论坛在热烈的气氛中圆满落幕。此次论坛从软件定义制造、安全保障运行、融合驱动创新的角度，探索中国制造企业转型升级的路径，为广大制造企业理解工业互联网及工业软件的应用提供了思路与借鉴。上海控安也将不断加强安全技术手段建设，与产业生态企业协同完善工业互联网安全保障体系，加速推动工业互联网安全保障能力的提升。