袁 捷

（上海电气泰雷兹交通自动化系统有限公司,上海 201206）

0 引言

作为安全苛求系统，基于通信的列车控制系统（CBTC）承担着列车定位、列车防护及联锁控制等关键功能。为了满足系统的安全完整性等级要求，在系统生命周期的多个阶段都需要进行功能安全分析。

安全分析的主要目的是识别系统及子系统危害，提出缓解措施及功能安全证据等[1]。对于安全分析，EN50129 标准[2]推荐且应用较为广泛的方法包括失效模式、影响及危害分析（FMECA）、失效模式及影响分析（FMEA）、危害与可操作性分析（HAZOP）、故障树分析（FTA）等。例如，文献[3]将FMECA 方法应用于城市轨道交通车辆故障分析；文献[4]则对FMECA 方法进行改进并应用于动车组牵引传动系统；文献[5]将FTA方法应用于CBTC 系统数据传输安全分析；文献[6]和文献[7]运用HAZOP 方法分别对城市轨道交通车站的人员防护开关功能和列控系统安全软件黑盒测试进行了分析。随着全自动无人驾驶等技术的不断发展，CBTC 系统的功能自动化程度及复杂度越来越高，加剧了功能安全分析工作的难度。而这些分析方法依赖人工推理演绎，其结果的完整性和准确性受限于分析人员的能力及对系统的熟悉程度。

近年来，基于模型的分析方法逐渐成为研究与应用的热点。文献[8-9]总结了基于模型的分析方法在航空领域的发展与应用；文献[10-13]分别运用不同的建模方法对区域控制器移动授权计算、列控系统ATP 等级转换、列控系统列车追踪、区间占用检查等功能和场景进行了研究。……