GSN方法的轨道交通车辆制动系统安全论证分析.docxVIP

GSN方法的轨道交通车辆制动系统安全论证分析 摘要 轨道交通车辆制动系统在运行过程中的安全性是关系到人们生命财产安全的重要因素。本文先介绍了GSN方法的基本概念与步骤，接着详细阐述了如何运用GSN方法进行轨道交通车辆制动系统的安全性分析和评估，最后结合一个实际案例进行了说明。 关键词 GSN方法，轨道交通车辆，制动系统，安全性，分析与评估 引言 轨道交通作为当代城市交通的重要组成部分，越来越受到人们的重视。而轨道交通车辆的制动系统是保证车辆安全运行的核心部件。因此，在轨道交通车辆制动系统的开发、测试和运行过程中，对其安全性进行认真论证和评估，显得尤为重要。 GSN方法是一种针对系统安全性分析与评估的方法，被广泛应用于计算机软件、电子电气、航空航天、核能和铁路等领域。本文将介绍如何运用GSN方法对轨道交通车辆制动系统进行安全性分析和评估。 GSN方法的基本概念与步骤 基本概念 Goal：目标，指系统需要满足的功能和性能要求。 Strategy：策略，指系统实现目标的方法和手段。 Evidence：证据，指用于证明策略正确性和目标满足性的信息。 Context：上下文，指系统运行时的环境和条件。 步骤 识别目标：对系统的功能和性能要求进行分析和识别，将其用Goal的形式表示出来。 制定策略：根据目标，制定系统实现目标的方法和手段，将其用Strategy的形式表示出来。 由证据支撑：根据策略，选择合适的证据来证明策略正确性和目标满足性，将其用Evidence的形式表示出来。 安全可信论证：运用GSN的“And-Or”结构，将Goal、Strategy和Evidence三者结合起来，进行安全可信的论证。 轨道交通车辆制动系统的安全性分析和评估 目标识别 本文以轨道交通列车救援制动系统为例，分析其安全性。目标包括列车在紧急情况下应该如何刹车，如何保证刹车性能等。 策略制定 针对以上目标，制定了救援制动系统的策略，包括实现列车前部和后部部分单元的制动、发动机关闭、减压等。 证据支撑 采用了符合轨道交通行业标准的制动器、气压互锁装置、车辆灵活配重、紧急刹车按钮等证据来支撑策略。 安全可信论证 在GSN方法的“And-Or”结构中，将目标、策略和证据之间的关系进行论证，得出结论：基于目标制定了策略，依据策略采用了符合轨道交通行业标准的证据来支撑，因此轨道交通列车救援制动系统可以满足紧急情况下的安全性要求。 实例分析 以北京市轨道交通5号线为例，分析其列车制动系统的安全性。首先对目标进行识别，包括要求列车在限定停车距离内平稳停车；在限速条件下具有能力制动列车；制动能力可以根据列车负荷自适应调整等。 针对以上目标，制定了实现列车自动制动、启用辅助制动、定向制动等策略。证据包括符合行业标准的速度传感器、集控制动器、列车自动控制及保护系统等。 在GSN方法的“And-Or”结构中，对目标、策略和证据进行论证，得出结论：北京市轨道交通5号线列车制动系统可以满足在限定停车距离内平稳停车；在限速条件下具有能力制动列车；制动能力可以根据列车负荷自适应调整等安全性要求。 结论 使用GSN方法进行轨道交通车辆制动系统的安全性分析和评估，可以帮助开发人员更系统地进行安全性论证。通过目标识别，策略制定和证据支撑，可以保证轨道交通车辆制动系统的安全性，并满足人们生命财产安全的要求。