摘要
针对列控系统运营场景危险行为与危险致因辨识的复杂性特征及其缺乏有效的仿真验证手段等问题,考虑致因因素间呈现的非线性特点,提出1种将系统理论过程分析(STPA)方法与多智能体仿真技术相结合的列控运营场景危险分析及仿真验证方法。以单电台无线闭塞中心(RBC)切换场景为例,构建分层控制多智能体结构模型,利用STPA方法辨识RBC切换场景下潜在的不安全控制行为,分析导致不安全控制的危险致因,并针对危险致因制定系统安全约束;结合多智能体仿真技术,设计与构建RBC切换场景多智能体仿真平台,通过危险致因和安全约束的分别注入,对危险场景进行仿真分析,验证危险分析的正确性以及安全约束的可行性。依托京广高铁武汉—广州段下行线某区段数据,以RBC切换场景中的不安全控制行为RBC1-ATP-USCA-7为例进行仿真验证。结果表明:未加安全约束条件时,存在行车事故风险;而在注入安全约束后,行车安全得到相应的保障。
- 单位