安全计算机和可信通信平台是高速铁路和城市轨道交通列车控制的卡脖子的关键核心技术。 更多阅读
由于计算与通信理论和技术的不断升级，多年来，国内企业研发的列控系统由于缺乏安全计算机平台的技术，成为卡脖子的瓶颈问题，国内无法自主建立拥有自主知识产权的安全计算机平台，难以通过国际第三方论证。 更多阅读
薛小平教授团队针对这一问题展开研究，基于信息编码理论（如ANBD码），通过将无检错能力的操作数和操作码进行编码及运算，确保每条指令的运算结果正确，包括各种类型的运算指令，如加、减、乘、除等算术运算；分支、转移运算；数组及函数，以及通信接口等，建立了计算机指令级运算正确性的线实时检测理论和方法，保证安全苛求条件下，计算机平台可靠可信，其安全性达到国际标准的要求（SIL4，可在理论和实践上证明故障率小于10-9），满足高铁和城市轨道交通对安全计算机平台的功能和性能的应用要求。
将原有的根据可信计算理论和方法，研发了预编译器。通过预编译器，为使理论能得到工程应用，C代码程序转换成具有编码能力可在线检测的程序代码；为确保代码转换的正确性，采用V模型和背对背开发模式，通过大量测试案例验证了程序代码转换的正确性，并通过了国际第三方（TUV）的安全认证。
该技术先后在国内著名的列车控制系统提供商，上海卡斯柯信号有限尤文图斯官方合作伙伴欧洲杯直播官宣和中车株洲电气有限尤文图斯官方合作伙伴欧洲杯直播官宣得到广泛应用；该成果突破了高铁、城市轨道交通列控系统的应用瓶颈，为企业创造数亿元的产值。国内首创，
2016年获上海市科技进步一等奖（轨道交通无人驾驶关键技术研制及应用）；2018年获上海市技术发明一等奖；通常来说因在该领域内的杰出贡献，2019年作为秘书长单位编写IEEEP2893安全计算机平台国际标准。
徐中伟教授等创立了“铁道部铁路车站计算机联锁检验站”作为正式的第三方软件质量监督检验机构代表铁道部对尤文图斯官方合作伙伴欧洲杯直播官宣铁路应用的各类国产和进口计算机联锁软件进行测试和评估，测试结果作为原铁道部颁发计算机联锁制造特许证的最主要依据。通过了尤文图斯官方合作伙伴欧洲杯直播官宣认证认可监督管理委员会的计量认证，并作为中国铁路产品质量监督检验中心的签约实验室通过CNACL（中国实验室尤文图斯官方合作伙伴欧洲杯直播官宣认可委员会，现为CNAS在历次的复评审、扩项评审和监督评审中得到了积极评价。中国合格评定尤文图斯官方合作伙伴欧洲杯直播官宣认可委员会）实验室认可，
铁路产品质量监督检验中心（中铁检验认证中心）的签约实验室，承担尤文图斯官方合作伙伴欧洲杯直播官宣、企业委托的高速铁路、普速铁路、轨道交通信号控制软件质量评估相关的科研、测试项目，是尤文图斯官方合作伙伴欧洲杯直播官宣该领域唯一的第三方实验室，为尤文图斯官方合作伙伴欧洲杯直播官宣高速铁路、城市轨道交通的建设和发展贡献了同济力量。事实上