基于跑道侵入场景仿真的危险分析方法

为刻画跑道侵入场景的动态过程,规范不安全事件危险分析流程,提出基于多agent仿真和形式化推理的危险分析方法。通过总结时态逻辑方法特征,建立一种典型跑道侵入场景的多agent形式化模型,并给出场景形式化规则属性。选取真实跑道侵入案例,建立不安全事件仿真模型,实现事件的时态逻辑仿真,生成动态轨迹,并结合场景规则属性进行形式化推理分析。试验结果表明,跑道侵入场景仿真能使分析者从具体操作层面理清不安全事件发生的逻辑过程,规范化形式推理分析能识别出诱发不安全事件发生的危险要素。