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

Hazardous Factor Analysis for Radio Block Center Handover in Requirements Phase

根据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.