都市快轨交通·第30卷第3期2017年6月
doi: 10. 3969/j. issn. 1672 -6073. 2017, 03. 007
《学术探讨
基于 V模型的ATS软件
验证方法研究
梁鸿煜，蒸飞2
（1.交控科技股份有限公司，北京100070；2.北京交通大学电子信息工程学院，北京100044）
摘要：轨道交通信号系统必须经过严格的验证才能进人工程应用。以ATS自动列车监控系统软件为例，研究信号系统在生命周期V模型下的验证方法，把开发周期简要划分为需求分析、设计实现、测试验证3个阶段，用以论述验证活动，阐述在产品生命周期各个阶段采用如评审、追溯分析、测试分析等不同验证方法，从而更大程度地保证系统的正确性。说明ATS系统的验证活动是一个庞大的工程，在产品开发生命周期的各个阶
段都应执行充分的验证活动，收集足够的客观证据证明产品各个阶段的输出满足需求。关键词：城市轨道交通；自动列车监控；验证；V模型
中图分类号：U231
文献标志码：A
文章编号：1672-6073(2017)03-0035-05
Using V-model Method for Verifying ATS Software
LIANGHongyu',YANFei2
(1. Traffic Control Technology Co., Ld., Beijing 100070;
2.School of Electronic and Information Engineering，Beijing Jiaotong University,Beijing 100044)
Abstract: The signal system must be thoroughly examined before it can be applied in engineering. Taking the automatic train supervision system ( ATS) as an example, this paper attempts to investigate the verification method used for the signal systems under the lifecycle of V - model. The development cycle is divided into 3 stages, including requirement analysis, design imple mentation and test verification, in order to demonstrate the validation activities. The model is divided into different stages with askesaessaeeeanassasenaaasorseaesoaae sure a higher degree of accuracy of the system. Description of ATS system validation activities is a huge project, all validation activities should be performed at all stages of the product development lifecycle, and collecting sufficient objective evidence
should be done to demonstrate that the output of each stage of the product meets the requirements. Keywords: urban rail transit; ATS; verification; V -model
1
发展概况
在轨道信号系统的招标文件和采购合同中，都明
确要求，信号系统应符合国际国内行业标准。如国际铁路行业标准(IRIS)和中华人民共和国国家标准质量管理体系（GB/T19001—2008）中都明确要求，产品应通过全生命周期的验证。系统或软件的验证是指对一个系统或产品评价的过程活动，以确定一个给定阶段的输出是否满足该阶段开始时所给定的要求。当前，
收稿日期：2016-07-19
修回日期：2016-10-08
第一作者：梁鸡煜，女，本科，系统保证工程师，专业方向为信号系统
验证与确认应用，Ihysmile@foxmail.com
国产信号系统发展获得广泛的工程应用，然面对信号系统的验证活动相对缺乏[1-2]。因此，笔者以自动列车监控系统（automatictraincontrolsystem，ATS）为例，总结地铁信号系统的验证方法，旨在探索业内空白，并对其他信号系统的验证活动提供参考。本文以获得英国劳氏铁路认证，并成功应用于北京地铁7号线的 ATS系统软件为例。
ATS系统的验证活动是一个庞大的工程，在产品开发生命周期的各个阶段都应执行充分的验证活动， ATS系统的安全完善度（safetyintegritylevel，SIL）等级根据安全分析被定义为2级，因此应按照SIL2的标准对ATS系统进行验证活动。安全生命周期应参考EN
URBAN RAPID RAILTRANSIT35