由电科软信子集团32所与华东师范大学等单位联合申报的《面向重大工业装备核心控制软件的安全可信保障技术及应用》项目荣获2019年度上海市科技进步奖特等奖。

“控制软件是工业重大装备的中枢，是国家利器。要让它足够锋利，就需要优良的磨刀石。我们就是把铸剑的磨刀石做好做精，这样来提高重大装备核心控制软件的质量，确保它们安全可信。”

——中国科学院院士、国家可信嵌入式软件工程技术研究中心首席科学家何积丰

突破核心技术，保障高端装备控制软件安全可信

安全攸关软件在轨道交通、航空航天、汽车电子与电力控制等领域承担着关键性任务，此类软件一旦出现问题容易造成严重的社会影响甚至是灾难性后果。因此，如何确保安全攸关软件的正确性与可靠性是软件领域亟需解决的重大关键问题。

本项目聚焦安全攸关软件复杂性“理解难”、正确性“验证难”、可靠性“保证难”三个关键挑战，以突破安全攸关软件形式化构造为核心任务，在安全攸关软件量化评估与分析、多维度测试与仿真、以及形式化建模与验证三个方面形成了技术创新，实现了覆盖安全攸关软件全生命周期的工具链，有力地保障了等国家基础设施和重大装备领域安全攸关软件的研制。

融入上海科创建设，服务国家重大装备创新

32所对本项目的主要贡献，一是实时嵌入式软件的半实物仿真测试技术创新，二是自主研制的锐华高安全嵌入式实时操作系统认证版产品ReWorks Cert的产品创新和产业应用。  

ReWorks Cert产品符合IEC 61508 SIL3和EN 50128 SIL4要求，于2018年获得功能安全国际认证证书，是国内第一个通过国际第三方认证的自主可控嵌入式实时安全操作系统。目前已成功应用于轨道交通领域的安全计算机平台中，有望在城市轨道交通领域首先获得规模化。

培养凝聚人才队伍，强化产学研合作协同

成绩的取得，离不开人才队伍的培养和凝聚，在项目的发展历程中，科研院所与高校和企业的产学研合作高度融合，联合起来办大事，在机制层面尝试创新。

32所与华东师范大学联合组建了国家可信嵌入式软件工程技术研究中心，从创建伊始就致力于提供自主可控、安全可信的嵌入式软件产品、共享技术平台及行业解决方案，服务于国防电子、轨道交通、工业控制、航天、航空等国家重点领域、重大工程。正是这样的机制创新，充分挖掘了项目参与方的各自优势条件，为项目成功奠定了基础。

32所的高安全基础软件团队，是一支团结、拼搏、富于创造性、充满活力的队伍。团队将32所多年来在基础软件领域的技术积淀，通过有效地“传、帮、带”人才培养机制进行传承，将“锐华”品牌发扬广大，一大批青年才俊在项目中快速成长，并起到中坚作用。

未来，电科软信子集团将一如既往，围绕“中国制造2025”战略和“一带一路”倡议，全面提升嵌入式软件可信度，打造高可信嵌入式软件平台，服务安全关键装备领域，进一步融入到上海科创中心建设。