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

Safety analysis for submarine torpedo launch control system based on STPA

作　　者：秦楠[1] 马亮[1] 黄锐[1] QIN Nan;MA Liang;HUANG Rui(Naval Submarine Academy,Qingdao 266199,China)

机构地区：[1]海军潜艇学院

出　　处：《系统工程理论与实践》2019年第12期3208-3216,共9页Systems Engineering-Theory & Practice

摘　　要：针对潜艇鱼雷发射控制系统,提出一套基于系统理论过程分析(system theoretic process analysis,STPA)的安全性分析方法.借助XSTAMPP安全工程平台,以鱼雷发射阶段解脱武器制动动作为案例,利用所提方法进行了安全性分析.同时改进传统STPA致因场景分析模型,生成精细化的系统安全要求,并利用线性时序逻辑(linear temporal logic,LTL)对生成的安全要求进行规范化描述,克服了传统STPA分析结果使用自然语言描述的局限性,为进一步的模型安全性验证提供理论支撑,同时为系统操作员提供辅助决策.In this paper,a safety analysis method based on system theoretic process analysis(STPA)is proposed for the submarine torpedo launch control system.One typical action of torpedo launching process,releasing the weapon brake is taken as an example for analysis with XSTAMPP safety engineering platform.Traditional STPA causal scenario analysis model is improved;refined system safety requirements are generated and the descriptions are standardized by linear temporal logic(LTL),the limitations of natural language descriptions used by traditional STPA analysis have been avoided,which provides theoretical support for further safety model verification and decision-making assistant for system operators.

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

分 类 号：X913.4[环境科学与工程—安全科学]