STAMP模型及其在核电厂DCS安全分析中的应用展望

被引：17

作者：

阳小华

刘杰

刘朝晖

刘华

余童兰

机构：

[1] 南华大学计算机科学与技术学院

来源：

核安全 | 2013年 / 12卷 / 03期

关键词：

核电安全分析; STAMP; STPA; 展望;

D O I：

10.16432/j.cnki.1672-5360.2013.03.005

中图分类号：

TL364 [反应堆安全];

学科分类号：

1402 ;

摘要：

数字化控制是核电发展的必然趋势,核电厂数字化控制系统(Digital Control System,DCS)的应用在提高核电厂系统控制能力的同时也增加了系统的复杂性,以事件链模型为基础的传统安全分析技术面临挑战。为提高核电厂DCS的安全性能,需要关注安全工程领域的新研究成果,将其引入到核电安全领域并加以研究。本文介绍一种新的基于系统理论的事故模型和过程(Systems-Theoretic Accident Modeling and Processes,STAMP)安全模型,对比分析了其与传统安全模型的优缺点,说明了基于STAMP的风险分析(STAMP-Based HazardAnalysis,STPA)技术的基本步骤,并根据STAMP在国内外的应用情况,对STAMP在我国核电领域的发展前景进行了展望。

引用

页码：42 / 47+88 +88

页数：7

共 7 条

[1] “可信软件基础研究”重大研究计划综述 [J].

刘克 ;

单志广 ;

王戟 ;

何积丰 ;

张兆田 ;

秦玉文 .

中国科学基金, 2008, (03) :145-151

[2] Introducing the STAMP method in road tunnel safety assessment [J].

Kazaras, Konstantinos ;

Kirytopoulos, Konstantinos ;

Rentizelas, Athanasios .

SAFETY SCIENCE, 2012, 50 (09) :1806-1817

[3]

Advanced interaction media in nuclear power plant control rooms[J] . Marcelo M. Soares,Karen Jacobs,Lucas Stephane.Work . 2012 (Supp)

[4]

Formal Fault Tree Analysis - Practical Experiences[J] . Frank Ortmeier,Gerhard Schellhorn.Electronic Notes in Theoretical Computer Science . 2007

[5]

Enhancing software safety by fault trees: experiences from an application to flight critical software[J] . Wolfgang Weber,Heidemarie Tondok,Michael Bachmayer.Reliability Engineering and System Safety . 2004 (1)

[6]

A new accident model for engineering safer systems[J] . Nancy Leveson.Safety Science . 2003 (4)

[7]

A system theoretic safety analysis of US coast guard aviation mishap involving CG-6505 .2 HICKEY J. Massachusetts Institute of Technology . 2012

← 1 →