基于STPA及CPN的以车载为核心CBTC系统可信构造研究1.docxVIP

基于STPA及CPN的以车载为核心CBTC系统可信构造研究

摘要：随着城市轨道交通的快速发展，基于列车间的自动驾驶技术即列车控制与监视系统（CBTC）得到了广泛应用。本文通过引入以STAMP为基础的STPA方法和CPN（ColoredPetriNets）模型，探讨了以车载为核心的CBTC系统的可信构造问题。通过对CBTC系统的状态建模、故障挖掘和失效分析，可以帮助为CBTC系统的可信构造提供科学支持与方法。

1.引言

随着城市轨道交通的快速发展，自动驾驶技术在轨道交通领域的应用逐渐普及。CBTC系统作为一种自动驾驶技术，可以提高列车运行的效率和安全性。

2.C