CTCS-3 级列控系统等级转换场景功能安全分析
作者:
盛昭君
米根锁
关键词:
CTCS-3 级列控系统等级转换场景
Hybrid UML
PHAVer
功能安全分析
摘要:
针对CTCS-3级列控系统等级转换场景的混成性,以CTCS-3级列控系统需求规范为研究依据,选取系统生命周期的需求阶段,研究了等级转换场景的功能安全性.首先,基于UML扩展机制,建立了等级转换场景的Hybrid UML模型,实现了等级转换场景的混成性描述;进而依据CTCS-3级列控系统需求规范,总结等级转换场景的功能需求,根据UML到PHAVer的转换规则,构建了PHAVer模型并验证了该模型的正确性;其次,通过分析等级转换过程,找出各相关设备可能的功能模块失效情况,采用功能模块失效描述符号(Function Failure Description Notation,FFDN)建立了等级转换场景的故障模型,并将PHAVer模型和故障模型整合,获得了包含故障的PHAVer模型;最后,运用PHAVer分析出导致等级转换场景功能需求不能满足时的功能模块失效情况,实现了等级转换场景的功能安全分析.
上一篇: 基于溯因推理网络的电网故障预测方法研究
下一篇: 单双摄像头切换的车辆车距侦测算法研究