基于STPA的潜艇鱼雷发射控制系统安全性分析
Safety analysis for submarine torpedo launch control system based on STPA
查看参考文献13篇
|
文摘
|
针对潜艇鱼雷发射控制系统,提出一套基于系统理论过程分析(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. |
|
来源
|
系统工程理论与实践
,2019,39(12):3208-3216 【核心库】
|
|
DOI
|
10.12011/1000-6788-2019-0541-09
|
|
关键词
|
系统理论过程分析(STPA)
;
发射控制
;
致因分析
;
线性时序逻辑(LTL)
;
XSTAMPP
|
|
地址
|
海军潜艇学院, 青岛, 266199
|
|
语种
|
中文 |
|
文献类型
|
研究性论文 |
|
ISSN
|
1000-6788 |
|
学科
|
安全科学 |
|
文献收藏号
|
CSCD:6697622
|
参考文献 共
13
共1页
|
|
1.
王晴昊. STPA在进近着陆飞行安全分析中的研究及应用.
系统工程理论与实践,2018,38(10):2703-2712
|
CSCD被引
8
次
|
|
|
|
|
2.
刘宏杰. 基于STPA方法的平交道口安全需求分析.
北京交通大学学报,2018,42(2):84-90
|
CSCD被引
7
次
|
|
|
|
|
3.
刘华. 多方法融合的反应堆紧急停堆子系统安全性分析.
核动力工程,2018,39(3):156-161
|
CSCD被引
3
次
|
|
|
|
|
4.
徐亦凡. 潜艇空间强机动操纵安全性仿真计算与分析.
舰船科学技术,2007(6):156-160
|
CSCD被引
2
次
|
|
|
|
|
5.
Thomas J.
Extending and automating a systems-theoretic hazard analysis for requirements generation and analysis,2013
|
CSCD被引
6
次
|
|
|
|
|
6.
Sarah A F.
Systems-theoretic process analysis of small unmanned aerial system use at Edwards Air Force Base,2017
|
CSCD被引
1
次
|
|
|
|
|
7.
Daisuke U.
STAMP applied to Fukushima Daiichi nuclear disaster and the safety of nuclear power plants in Japan,2016
|
CSCD被引
1
次
|
|
|
|
|
8.
Paul D S.
Systems-theoretic accident model and processes (STAMP) applied to a U.S.coast guard buoy tender integrated control system,2017
|
CSCD被引
1
次
|
|
|
|
|
9.
Abdulkhaleq A. XSTAMPP 2.0:New improvements to XSTAMPP including CAST accident analysis and an extended approach to STPA.
STAMP MIT Workshop,2016
|
CSCD被引
2
次
|
|
|
|
|
10.
宋保维.
鱼雷系统工程原理与方法,2010
|
CSCD被引
2
次
|
|
|
|
|
11.
练永庆.
鱼雷发射装置设计原理,2012
|
CSCD被引
1
次
|
|
|
|
|
12.
Leveson N G.
Engineering a safer world:Systems thinking applied to safety Engineering systems,2012
|
CSCD被引
1
次
|
|
|
|
|
13.
Pnueli A. The temporal logic of programs.
Proceedings of the 18th Annual Symposium on Foundations of Computer Science,1977
|
CSCD被引
1
次
|
|
|
|
|
了解气象卫星更多信息，请访问