基于控制关系模型的CTCS-3级列控系统功能安全分析方法.pdfVIP

第 37卷第 8期 铁 道 学 报 Vo1．37 No．8 2015年 8月 J0URNAL0FTHECHINA RAILWAY SoCIrY August 2015 文章编号：i001—8360(2015)08—0036—08 基于控制关系模型的CTCS一3级列控系统 功能安全分析方法 刘金涛 ，唐 涛 ，赵 林 ，刘 磊。 (1．北京交通大学 国家轨道安全评估研究中心，北京 100044；2．北京交通大学 轨道交通控制与安全国家重点实验室 ，北京 100044；3．中国铁道科学研究院 通信信号研究所，北京 100081) 摘 要：本文给出CTCS-3级列控系统中组件控制行为的形式化定义，并针对控制行为的时序关系，提出控制行 为时序逻辑。以此时序逻辑为基础 ，给出控制关系模型的形式化定义，使用控制关系模型对列控系统中的控制 行为关系进行刻画。利用深度优先搜索的方式 ，对系统的控制关系模型进行分析 ，实现STPA(System-Theoretic ProcessAnalysis)过程中不恰当控制行为的自动化辨识。以CTCS-3级列控系统的RBC交接场景为例，使用上 述基于控制关系模型的STPA方法对列控系统的功能安全进行分析。分析过程表明利用形式化的控制关系模 型扩展STPA的方法适用于CTC~-3级列控系统的功能安全分析。 关键词：STPA；CTCS-3级列控系统 ；形式化方法；功能安全分析 中图分类号：TP301．2；U284．48 文献标志码：A doi：10．3969／j．issn．1001—8360．2015．08．006 FunctionalSafetyAnalysisofCTCS-3TrainControlSystem Based onControlRelationship M odel LIUJin-tao，TANG Tao。，ZHAO Lin ，LIU Lei。 (1．NationalResearchCenterofRailwaySafetyAssessment，BeijingJiaotongUntversity，Beijing100044，China 2．StateKeyLaboratoryofRailTrafficControlandSafety，BeijingJiaotongUniversity，Beijing100044，China； 3．SignalandCommunicationResearchInstitute，ChinaAcademyofRailwaySciences，Beijing100081，China) Abstract：TheformaldefinitionofcontrolactionsinCI、( level-3system isproposed．Inrespectwiththesequentialre— lationsofcontrolactions，thetemporallogicofcontrolacctionsisdesigned．Basedonsuchtemporallogic，theformal definitionforthecontrolrelationshipmode1isgiven。withwhichthecontrolactionrelationshipsinthetraincontrolsys— tern canbemodeled． Ⅵ ththedepthfirstsearch。thecontrolrelationshipmodelisanalyzedtoachievetheautomatici— dentificationofinadequatecontrolactionsproposedin A (System-TheoreticProcessAnalysis)．InthecaseofRBC ha