基于STPA的潜艇鱼雷发射控制系统安全性分析

摘要：

针对潜艇鱼雷发射控制系统,提出一套基于系统理论过程分析(system theoretic process analysis,STPA)的安全性分析方法.借助XSTAMPP安全工程平台,以鱼雷发射阶段解脱武器制动动作为案例,利用所提方法进行了安全性分析,同时改进传统STPA致因场景分析模型,生成精细化的系统安全要求,并利用线性时序逻辑(linear temporal logic,LTL)对生成的安全要求进行规范化描述,克服了传统STPA分析结果使用自然语言描述的局限性,为进一步的模型安全性验证提供理论支撑,同时为系统操作员提供辅助决策.

关键词：系统理论过程分析(STPA)、发射控制、致因分析、线性时序逻辑(LTL)、XSTAMPP

所属期刊栏目：39

分类号：X913.4(安全科学基础理论)

在线出版日期：2020-03-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：3208-3216