原题目：中欧学者携手攻关打破国外巨头垄断 大大提高中国轨交、航空运输安全性
中新网上海1月9日电 (记者 陈静)现在78岁的世界级计算机科学家、欧洲科学院院士——简-埃蒙德·阿布瑞尔持续12年来华与华东师范大学计算机科学与软件工程学院协作攻关“安全攸关软件”。
华东师范大学计算机科学与软件工程学院副院长、上海市高可信计算重点试验室副主任蒲戈光9日告知记者，阿布瑞尔把最早应用于欧洲轨道交通软件开发的“B办法”系统级的软件安全保证方案初次引入中国，并进行了本土化改良，冲破了自主可控技术的“瓶颈”，打破了这些技术被国外巨头公司垄断的局势。据此，将来中国轨走运输工具、航空航天飞行器等核心软件安端赖得住性将大大提高。
当日，这位洋院士成为中华人民共和国国际科学技术协作奖取得者。
据蒲戈光介绍，作为一种软件开发办法，“B办法”不一样于传统的软件开发办法，而是用数字符号描写软件举动，从而完成以数学办法对软件进行推理和证实，取得高靠得住性软件。据了解，如当代界上多家著名的工程公司轨道交通部门均应用“B办法”进行软件开发。“B办法”的成功案例包含法国巴黎地铁1号线与14号线，欧空局的火箭控制系统等。
据了解，当下，缺少可信技术支持是阻碍包含轨道交通类产品在内的中国产品，取得国际认证的重要因素。蒲戈光说，华东师范大学计算机科学与软件工程学院重视从软件测试、建模角度保证软件的靠得住性；阿布瑞尔引入的“B办法”则重视从软件生命开发周期来保证软件的安全性。两边完成用处互补，进而使安端赖得住性有了质的飞跃。
据透露，从虹桥火车站到东方绿舟的轨交线路有希望年末前开通试运营的，该线路将首度应用“B办法”开发的核心控制软件。中科院院士、华东师范大学计算机科学与软件工程学院院长何积丰透露，在轨道交通领域，研究团队与上海申通，卡斯柯信号等公司协作，基于“B办法”自主开发的车载信号系统，通过了国际莱茵最高四级安全认证；在汽车电子领域，研究团队与中电科等公司协作，好比，应用“B办法”对汽车电子与航天的基础软件操作系统进行了验证，基于“B办法”方式化验证的工控操作系统通过第三方评测，取得OSEK国际认证，安排在70万辆国产汽车上；其中通过验证后的操作系统还被装载于嫦娥三期等重要卫星。
何积丰希望将来“B办法”开发软件能应用在更多与安全攸关的领域，如轨道交通、汽车电子、航空航天等。华东师范大学计算机科学与软件工程学院方面将持续进行可信软件理论研究，为软件开发办法提供更坚实的理论基础。学院将进一步从建模、测试等角度，在软件开发流程上进行靠得住性保证；与阿布瑞尔引入的“B办法”构成有机的处理方案，为企业提供更完善的服务。(完)
