本文给出CTCS‐3级列控系统中组件控制行为的形式化定义，并针对控制行为的时序关系，提出控制行为时序逻辑。以此时序逻辑为基础，给出控制关系模型的形式化定义，使用控制关系模型对列控系统中的控制行为关系进行刻画。利用深度优先搜索的方式，对系统的控制关系模型进行分析，实现STPA（System‐Theoretic Process Analysis）过程中不恰当控制行为的自动化辨识。以CTCS‐3级列控系统的RBC交接场景为例，使用上述基于控制关系模型的S T PA方法对列控系统的功能安全进行分析。分析过程表明利用形式化的控制关系模型扩展STPA的方法适用于CTCS‐3级列控系统的功能安全分析。%The formal definition of control actions in CTCS level‐3 system is proposed .In respect with the sequential re‐lations of control actions ,the temporal logic of control acctions is designed .Based on such temporal logic ,the formal definition for the control relationship model is given ,with which the control action relationships in the train control sys‐tem can be modeled .With the depth first search ,the control relationship model is analyzed to achieve the automatic i‐dentification of inadequate control actions proposed in STPA (System‐Theoretic Process Analysis ) .In the case of RBC handover scene of the CTCS level‐3 train control system ,the STPA method based on control relationship model is used to analyze the functional safety of the train control system .The results show that the proposed method is suitable for the functional safety analysis of the CTCS level‐3 system .
展开▼
