高速铁路无线闭塞中心(RBC)核心单元安全评估

无线闭塞中心对高速列车进行间隔控制和下达移动授权,是保证高速铁路信号系统高效、稳定、准确工作的关键因素。文章介绍了无限闭塞中心的系统配置结构以及与外部接口之间信息的交互,并以此为基础对无线闭塞中心进行分层和模块化,使用SIMFIA安全评估软件构建无线闭塞中心模型。对模型进行参数设置后,运用SIMFIA软件的SAFETY功能生成模型的故障树以及各模块节点的故障概率,并以此进行系统的安全性分析,达到安全评估的目的。

临时限速服务器安全评估研究

近年来我国高速铁路飞速发展,越来越多的高速铁路线路投入使用有效的缓解了我国铁路出行的压力。如何保证铁路的安全运行成为了人们亟需研究的问题。临时限速服务器是CTCS-3级列控系统的重要组成部分,其系统安全直接影响到高速铁路的运营安全。文章结合临时限速服务器的实际运行过程,采用安全性分析软件SIMFIA构建临时限速服务器仿真模型,自动生成系统故障树,并计算失效状态最小割集。根据最小割集可以快速找到故障源,从而达到分析临时限速服务器安全性的目的。

基于模型驱动的HUD系统安全性分析方法研究

平视显示器能够有效提高飞行员的情景意识,从而提高飞行的安全性,现已成为新投入使用的民用客机必装的航电设备。本文结合项目实际,采用基于模型驱动的安全性分析工具---SIMFIA构建平视显示系统功能架构和失效状态(顶事件),自动生成引起失效状态因素的故障树,用于达到分析平视显示系统安全性的目的。结果表明,SIMFIA建模与系统设计相结合,能够实现系统设计与安全性评估工作的一致表示,从而有效支持系统和安全性分析的迭代过程。

基于模型的飞行管理系统安全性分析

提出一种基于模型的飞行管理系统安全性分析实施方法,首先对飞行管理系统进行了功能危害性分析,识别了各项功能的失效状态及其影响,确定了失效状态的分类和失效概率要求。然后采用形式化语言AltaRica对飞行管理系统模型进行了描述,借助商用软件对飞行管理系统进行了AltaRica建模和故障树分析。分析过程表明,基于模型的安全性分析,清晰直观,适合工程应用,是一种简单高效的安全性分析方法。