需求阶段的无线闭塞中心交接危险因素分析  

Hazardous Factor Analysis for Radio Block Center Handover in Requirements Phase

作　　者：刘金涛 李克平[2] LIU Jintao;LI Keping(National Research Center of Railway Safety Assessment,Beijing Jiaotong University,Beijing 100044,China;State Key Laboratory of Rail Traffic Control and Safety,Beijing Jiaotong University,Beijing 100044,China)

机构地区：[1]北京交通大学国家轨道交通安全评估研究中心,北京100044 [2]北京交通大学轨道交通控制与安全国家重点实验室,北京100044

出　　处：《铁道学报》2018年第4期74-82,共9页Journal of the China Railway Society

基　　金：国家自然科学基金(U1434209);中央高校基本科研业务费专项资金(2015JBZ006)

摘　　要：根据STAMP理论分析需求阶段的RBC交接危险因素,利用分层控制框图对RBC交接过程的控制关系进行描述;使用混成自动机对其中的控制算法、组件状态变化进行建模;给出控制结构中过程模型的形式化定义,并使用对象约束语言OCL对过程模型进行构建。根据需求阶段的控制缺陷分类,利用人工分析和形式化分析相结合的方式,分别对与输入相关、与功能模块相关以及与系统需求规范相关的危险因素进行分析。通过结果对比发现,本文所提基于STAMP理论的方法适用于需求阶段的RBC交接危险因素分析。Based on the STAMP,the hazardous factor analysis for radio block center(RBC)handover in requirements phase was carried out in this paper.The hierarchical control diagram was utilized to depict the control relationshi Pduring the process of RBC handover.The hybrid automaton theory was used to model the control algorithms and the state changes of components.The formal definition of the process model in the control structure was proposed and the process model was constructed using the object constraint language(OCL).Based on the classification of control flaws in requirements phase,the manual and formal analyses were combined to identify the causal factors related to input,function modules and system requirement specification.The comparative results show that the proposed method based on STAMP is appropriate for the analysis of hazardous factors in the RBC handover in requirements phase.

关 键 词：无线闭塞中心 危险因素分析 STAMP 形式化方法 安全性 

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构] U283[自动化与计算机技术—计算机科学与技术]