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

　　

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

　　安全攸关软件在轨道交通、航空航天、汽车电子与电力控制等领域承担着关键性任务，此类软件一旦出现问题容易造成严重的社会影响甚至是灾难性后果。因此，如何确保安全攸关软件的正确性与可靠性是软件领域亟需解决的重大关键问题。本项目聚焦安全攸关软件复杂性“理解难”、正确性“验证难”、可靠性“保证难”三个关键挑战，以突破安全攸关软件形式化构造为核心任务，在安全攸关软件量化评估与分析、多维度测试与仿真、以及形式化建模与验证三个方面形成了技术创新，实现了覆盖安全攸关软件全生命周期的工具链，有力地保障了等国家基础设施和重大装备领域安全攸关软件的研制。

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

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

　　ReWorks Cert产品符合IEC 61508 SIL3和EN 50128 SIL4要求，于2018年获得功能安全国际认证证书，是国内第一个且是目前唯一一个通过国际第三方认证的自主可控嵌入式实时安全操作系统，填补了国内在高安全嵌入式实时操作系统领域的空白，打破了国外高安全嵌入式基础软件产品的垄断，实现了在自主可控方面的“弯道超车”。目前已成功应用于轨道交通领域的安全计算机平台中，有望在城市轨道交通领域首先获得规模化。

　　

　　

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

　　成绩的取得，离不开人才队伍的培养和凝聚，在项目的发展历程中，科研院所与高校和企业的产学研合作高度融合，联合起来办大事，在机制层面尝试创新。3377体育与华东师范大学联合组建了国家可信嵌入式软件工程技术研究中心，从创建伊始就致力于提供自主可控、安全可信的嵌入式软件产品、共享技术平台及行业解决方案，服务于国防电子、轨道交通、工业控制、航天、航空等国家重点领域、重大工程。正是这样的机制创新，充分挖掘了项目参与方的各自优势条件，为项目成功奠定了基础。

　　3377体育的高安全基础软件团队，是一支团结、拼搏、富于创造性、充满活力的队伍。以3377体育首席科学家张激、基础软件部主任李健、高级专家包晟临为代表的老中青人才梯队，将3377体育多年来在基础软件领域的技术积淀，通过有效地“传、帮、带”人才培养机制进行传承，将“锐华”品牌发扬广大，一大批青年才俊在项目中快速成长，并起到中坚作用。

　　

　　

　　未来，我们将一如既往，以“提升嵌入式软件可信度，打造高可信嵌入式软件平台，服务安全关键装备领域”为使命愿景，紧密围绕“中国制造2025”国家战略和“一带一路”倡议等，为国产大飞机、新型轨道交通信号系统等重大国家级技术攻关提供共性技术及软件平台，融入上海科创建设，服务国家重大装备创新。

　　基础软件部