论文摘要
针对潜艇鱼雷发射控制系统,提出一套基于系统理论过程分析(system theoretic process analysis,STPA)的安全性分析方法.借助XSTAMPP安全工程平台,以鱼雷发射阶段解脱武器制动动作为案例,利用所提方法进行了安全性分析.同时改进传统STPA致因场景分析模型,生成精细化的系统安全要求,并利用线性时序逻辑(linear temporal logic,LTL)对生成的安全要求进行规范化描述,克服了传统STPA分析结果使用自然语言描述的局限性,为进一步的模型安全性验证提供理论支撑,同时为系统操作员提供辅助决策.
论文目录
文章来源
类型: 期刊论文
作者: 秦楠,马亮,黄锐
关键词: 系统理论过程分析,发射控制,致因分析,线性时序逻辑
来源: 系统工程理论与实践 2019年12期
年度: 2019
分类: 基础科学,工程科技Ⅱ辑
专业: 武器工业与军事技术,船舶工业
单位: 海军潜艇学院
分类号: U674.76;TJ635
页码: 3208-3216
总页数: 9
文件大小: 775K
下载量: 82
相关论文文献
标签：系统理论过程分析论文; 发射控制论文; 致因分析论文; 线性时序逻辑论文;