基于STPA方法的平交道口安全需求分析  

A safety requirements analysis approach for level crossing based on STPA

作　　者：刘宏杰[1] 唐涛[1] 金夏垚 杜恒 LIU Hongjie;TANG Tao＇;JIN Xiayao＇;DU Heng(School of Electronic and Information Engineering,Beijing Jiaotong University,Beijing 100044 ？ China;Traffic Control Technology Co.,Ltd.,Beijing 100070,China)

机构地区：[1]北京交通大学电子信息工程学院,北京100044 [2]交控科技股份有限公司,北京100070

出　　处：《北京交通大学学报》2018年第2期84-90,共7页JOURNAL OF BEIJING JIAOTONG UNIVERSITY

基　　金：科技部"973"计划项目(2014CB340703);国家自然科学基金(U1434209);中央高校基本科研业务费专项资金(2016JBM007,2016JBZ004,2017JBZ004);交控科技设计创新和学科发展基金项目(9907006510)

摘　　要：现代平交道口控制系统多为由计算机组成的基于通信的控制系统,该类型系统中的危险致因大多源于系统组件间的复杂交互场景未得到充分辨识和控制。为了避免平交道口事故的发生,提出一套基于系统理论过程分析(STPA)的铁路信号系统安全分析方法。借助对传统STPA方法的改进及XSTAMPP软件,以平交道口控制系统为案例进行了安全分析。研究结果实现了安全需求可根据危险分析结果自动生成,解决了传统STPA过程过于依赖人工的问题;分析得到的平交道口控制系统安全需求被自动转化为线性时序逻辑(LTL)语言描述的形式化规范,避免了传统STPA分析结果用自然语言描述可能存在的歧义性,为基于模型的系统设计、测试和验证提供参考。Modern level crossing control systems are mostly computer-based and communication- based control systems. The causal factors in this type of system are mostly due the complex interaction scenarios between system components have not been fully identified and controlled. In order to avoid the occurrence of level crossing accidents, this paper proposes of safety analysis methods for railway signal systems based on System Theory Process （STPA）. With the improvement of the traditional STPA and the XSTAMPP,this paper takesthe level crossing control system as a case for safety analysis. The results achieve the automaticgeneration of safety requirements based on the hazards analysis results and solved the problem that the traditional STPA process is too dependent on labor. Meanwhile,the safety requirements of the level crossing control system are automatically converted into a formal specification of thelinear Temporal Logic （LTL） language description,which avoids the possible ambiguity in thenatural language description of th e tr adi t ional STPA analysis results . It promodel-based system design , test ing and ver ificat ion

关 键 词：平交道口 系统理论过程分析 安全分析 线性时序逻辑 XSTAMPP软件 

分 类 号：U231[交通运输工程—道路与铁道工程]