|
|||||
|
|
| 基于STPA的潜艇鱼雷发射控制系统安全性分析 | |
| 作者姓名： | 秦楠 马亮 黄锐 |
| 作者单位： | 海军潜艇学院, 青岛 266199 |
| 摘 要： | 针对潜艇鱼雷发射控制系统,提出一套基于系统理论过程分析(system theoretic process analysis,STPA)的安全性分析方法.借助XSTAMPP安全工程平台,以鱼雷发射阶段解脱武器制动动作为案例,利用所提方法进行了安全性分析.同时改进传统STPA致因场景分析模型,生成精细化的系统安全要求,并利用线性时序逻辑(linear temporal logic,LTL)对生成的安全要求进行规范化描述,克服了传统STPA分析结果使用自然语言描述的局限性,为进一步的模型安全性验证提供理论支撑,同时为系统操作员提供辅助决策. |
| 关 键 词： | 系统理论过程分析(STPA) 发射控制 致因分析 线性时序逻辑(LTL) XSTAMPP |
| 收稿时间： | 2019-04-01 |
| 本文献已被 CNKI 等数据库收录！ | |
| 点击此处可从《系统工程理论与实践》浏览原始摘要信息 | |
| 点击此处可从《系统工程理论与实践》下载全文 | |