服务于高铁/城市轨道交通的安全计算机及可信通信平台

发布者:系统管理员发布时间:2020-03-13浏览次数:1711

安全计算机和可信通信平台是高速铁路和城市轨道交通列车控制的卡脖子的关键核心技术。

多年来,由于计算与通信理论和技术的不断升级,国内无法自主建立拥有自主知识产权的安全计算机平台,成为卡脖子的瓶颈问题,国内企业研发的列控系统由于缺乏安全计算机平台的技术,难以通过国际第三方论证。

薛小平教授团队针对这一问题展开研究,基于信息编码理论(如ANBD码),通过将无检错能力的操作数和操作码进行编码及运算,建立了计算机指令级运算正确性的线实时检测理论和方法,包括各种类型的运算指令,如加、减、乘、除等算术运算;分支、转移运算;数组及函数,以及通信接口等,确保每条指令的运算结果正确,保证安全苛求条件下,计算机平台可靠可信,其安全性达到国际标准的要求(SIL4,可在理论和实践上证明故障率小于10-9),满足高铁和城市轨道交通对安全计算机平台的功能和性能的应用要求。

        为使理论能得到工程应用,根据可信计算理论和方法,研发了预编译器。通过预编译器,将原有的C代码程序转换成具有编码能力可在线检测的程序代码;为确保代码转换的正确性,采用V模型和背对背开发模式,通过大量测试案例验证了程序代码转换的正确性,并通过了国际第三方(TUV)的安全认证。

         该技术先后在国内著名的列车控制系统提供商,上海卡斯柯信号有限公司和中车株洲电气有限公司得到广泛应用;该成果突破了高铁、城市轨道交通列控系统的应用瓶颈,国内首创,为企业创造数亿元的产值。

2016年获上海市科技进步一等奖(轨道交通无人驾驶关键技术研制及应用);2018年获上海市技术发明一等奖;因在该领域内的杰出贡献,2019年作为秘书长单位编写IEEEP2893安全计算机平台国际标准。

          徐中伟教授等创立了“铁道部铁路车站计算机联锁检验站”作为正式的第三方软件质量监督检验机构代表铁道部对我国铁路应用的各类国产和进口计算机联锁软件进行测试和评估,测试结果作为原铁道部颁发计算机联锁制造特许证的最主要依据。通过了国家认证认可监督管理委员会的计量认证,并作为中国铁路产品质量监督检验中心的签约实验室通过CNACL(中国实验室国家认可委员会,现为CNAS中国合格评定国家认可委员会)实验室认可,在历次的复评审、扩项评审和监督评审中得到了积极评价。

          铁路产品质量监督检验中心(中铁检验认证中心)的签约实验室,承担国家、企业委托的高速铁路、普速铁路、轨道交通信号控制软件质量评估相关的科研、测试项目,是我国该领域唯一的第三方实验室,为我国高速铁路、城市轨道交通的建设和发展贡献了同济力量。