首页 | 本学科首页   官方微博 | 高级检索  
     检索      

基于STPA方法的平交道口安全需求分析
引用本文:刘宏杰,唐涛,金夏垚,杜恒.基于STPA方法的平交道口安全需求分析[J].北京交通大学学报(自然科学版),2018,42(2):84-90.
作者姓名:刘宏杰  唐涛  金夏垚  杜恒
作者单位:北京交通大学电子信息工程学院,北京,100044;交控科技股份有限公司,北京,100070
基金项目:科技部“973”计划项目(2014CB340703),国家自然科学基金(U1434209),中央高校基本科研业务费专项资金(2016JBM007;2017JBZ004),交控科技设计创新和学科发展基金项目(9907006510),National Basic Research Program of China (973 Program)(2014CB340703),National Natural Science Foundation of China(U1434209),Fundamental Research Funds for the Central Universities(2016JBM007
摘    要:现代平交道口控制系统多为由计算机组成的基于通信的控制系统,该类型系统中的危险致因大多源于系统组件间的复杂交互场景未得到充分辨识和控制。为了避免平交道口事故的发生,提出一套基于系统理论过程分析(STPA)的铁路信号系统安全分析方法。借助对传统STPA方法的改进及XSTAMPP软件,以平交道口控制系统为案例进行了安全分析。研究结果实现了安全需求可根据危险分析结果自动生成,解决了传统STPA过程过于依赖人工的问题;分析得到的平交道口控制系统安全需求被自动转化为线性时序逻辑(LTL)语言描述的形式化规范,避免了传统STPA分析结果用自然语言描述可能存在的歧义性,为基于模型的系统设计、测试和验证提供参考。

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

A safety requirements analysis approach for level crossing based on STPA
LIU Hongjie,TANG Tao,JIN Xiayao,DU Heng.A safety requirements analysis approach for level crossing based on STPA[J].JOURNAL OF BEIJING JIAOTONG UNIVERSITY,2018,42(2):84-90.
Authors:LIU Hongjie  TANG Tao  JIN Xiayao  DU Heng
Abstract:
Keywords:
本文献已被 CNKI 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号