作为上海地铁2017年首列新车，17号线的新型列车“1701号”日前运抵青浦朱家角。这条沪上首条无人驾驶地铁线有望年底开通试运营。

　　硬件已开动，软件更先行。17号线离不开一位从法国来沪的欧洲科学院院士：简-埃蒙德·阿布瑞尔，这位78岁的世界级计算机科学家从12年前开始便每年来华，与华东师范大学计算机科学与软件工程学院协作攻关“安全攸关软件”。

　　昨天，阿布瑞尔院士获得国际科学技术合作奖，是唯一来自上海合作单位的外籍科学家。

　　无论进站、靠站，还是分道、转线，巴黎就有这样一条全自动14号线。它的研发成功，正是应用了阿布瑞尔创建的安全攸关软件开发技术“B方法”。在世界上，“B方法”的应用案例，涉及纽约、巴塞罗那等20多个城市的轨道交通。

　　为确保无人驾驶地铁软件开发全程万无一失，阿布瑞尔就像工匠一样在计算机前步步精心求解。单单来自地铁方面的《需求规范》就有一两百页厚，必须据此逐条梳理，化为计算机理解的软件语言。起先只是一两项数理建模，然后层层精化为30多层，其过程中形成一两百个精化模型，有些模型需要证明300多条逻辑定理。

　　如今在上海、武汉、广州等多条地铁线中，经“B 方法”严格验证后的信号系统成功通过国际最高安全等级“莱茵四级”认证，且测试成本降低40%，开发周期缩短15%。

　　阿布瑞尔以个人声誉为重，独来独往，没有秘书，也不带随从。他只要求在师大一村安排了一套四五十平方米的一室一厅小住，自己去大超市买菜做饭。阿布瑞尔坚持十多年每年都有两三个月在华工作，常在办公室“坐堂”一整天，为硕士生、博士生答疑解惑，至今联合培养研究生20余名。有一个周五，阿布瑞尔照例来到数学馆工作，结果发现单位里几无一人，后来才知当天是国定假日。而有一个圣诞节，年近八旬的教授依然在华，为学生授课。