高端装备-轨道交通车辆软件测评技术论坛在山东青岛举办
目前,轨道交通行业已具备较为完善的硬件检测与认证体系,但软件除铁路信号软件具有较好的软件质量保证外,尚未形成完备的检验检测体系。随着自动化技术日趋深入广泛地应用于轨道交通车辆,系统及设备研制、保障、维护涉及的软件越来越庞杂,软件质量测评成为轨道交通装备领域一大课题。
2019年4月26日,由中国铁道学会车辆委员会主办,中车青岛四方车辆研究所有限公司、中国航天科工集团第二研究院七〇六所和航天中认软件测评科技(北京)有限责任公司协办的“高端装备-轨道交通车辆软件测评技术论坛”在山东青岛成功举办。来自中国铁道学会车辆委员会、中车青岛四方车辆研究所有限公司、中国航天科工集团第二研究院七〇六所、航天中认软件测评科技(北京)有限责任公司、中国城市轨道交通协会、清华大学、北京交通大学、山东大学、大连交通大学、大连理工大学、中国海洋大学等轨道交通和软件行业的相关专家共计60人出席了本次论坛。
中国铁道学会车辆委员会主任委员陈伯施首先致辞。他在致辞中表示,本次论坛是关于中国铁路车辆行业装备软件质量检验检测技术的一次重要学术会议,论坛的召开对铁路车辆检测检验安全体系及认证软件技术、铁路车辆运营维护和质量安全等领域的发展起到积极的推动作用。然后论坛举行了国家高端装备和智能制造(轨道交通装备)软件质量检验中心揭牌仪式,出席揭牌仪式并致辞的还有中国城市轨道交通协会副秘书长王飚,青岛市工业和信息化局副局长秦青松,青岛市市北区副区长刘大川,中国航天科工集团第二研究院七〇六所副所长叶东升,中车青岛四方车辆研究所有限公司党委书记、董事长孔军等嘉宾代表。
技术论坛环节由中国铁道学会车辆委员会电气电子学组组长李国平教授主持,技术论坛邀请了轨道交通、航空航天、软件测试等行业知名专家作为演讲嘉宾,围绕高端装备-轨道交通车辆软件测评技术主题,介绍了软件测试前沿技术,分享了行业优秀经验和发展趋势(演讲主题和演讲嘉宾见附表)。其中,演讲嘉宾蔡伯根教授,以某铁路信号系统安全软件测试为例讲解IEC61508、EN50128标准,阐述了铁路信号系统的脆弱性及保障信号系统运行安全的重要性。吴永总工程师针对如何能够快速、全面提升我国轨道交通行业的基础研究、原始创新和质量管控能力,从构建全备的研发与质量控制体系出发,探索我国从轨道交通大国向轨道交通强国发展的可行途径。蔡建平教授介绍了工业软件在中国制造2025期间应对质量安全问题,特别是功能安全和信息安全保障问题;结合国内外相关标准,探讨如何建立包括轨道交通在内我国自主行业标准,并开展相关质量安全测试与认证工作。郑景鑫专家系统讲述工业和装备物联网信息安全框架,结合阿里多年来在智慧城市、智慧交通、高端装备的案例和经验,重点介绍了从终端芯片、传输协议与认证、中心管控与智能识别的整体安全解决方案。郭瑞星专家基于IEC61508,EN50126/8/9欧洲标准及相关参考标准的框架,分享对轨道交通装备独立安全评估/认证的理解,独立安全评估/认证的作用和独立安全评估/认证的实施方式。张一民专家结合波音737MAX案例的深入分析、Uber自动驾驶等案例,分享了如何发现代码安全问题:形式化研制+模型仿真+数据可视化。
与会人员一致表示,参加本次技术论坛很有收获,希望中国铁道学会车辆委员会今后多组织这样的学术活动。通过搭建学术交流平台,开展轨道交通装备行业软件质量检验检测技术研究,既填补了行业空白,为未来轨道交通智能化提供信息安全技术服务保障,又可以助推我国轨道交通装备软件的发展。
附表:演讲主题和嘉宾
序号 |
演讲主题 |
演讲嘉宾 |
1 |
高速铁路信号系统信息安全保障与防护 |
北京交通大学蔡伯根教授 |
2 |
构建全备体系 助力产业升级 |
航天中认软件测评科技(北京)公司总工程师吴永 |
3 |
工业软件质量安全保障 |
航天中认软件测评科技(北京)公司技术总监蔡建平 |
4 |
智慧交通信息安全解决方案 |
阿里云智能IoT高级安全专家郑景鑫 |
5 |
轨道交通装备独立安全认证 |
北德认证质量服务公司轨道交通装备认证运营经理郭瑞星 |
6 |
形式验证技术发展与应用 |
TUKARLA首席执行官张一民 |