NPP Safety Automation Systems Analysis. State of the Art

机译：Npp安全自动化系统分析。最先进的

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

This report describes the state of the art of formal methods and models applied in safety evaluation of nuclear and other industrial safety systems. Special attention is drawn to a technique called model checking that is a set of methods for analysing whether a model of a system fulfils its specifications by examining all of its possible behaviours. The report describes the scope and requirements for safety evaluation and introduces typical safety assessment approaches. The Safety Case concept is also described and discussed how it could be combined with model checking.

著录项

作者
Valkonen, J.; Karanta, I.; Koskimies, M.; Heljanko, K.; Niemelae, I.; Sheridan, D.;
展开▼
作者单位

展开▼
年度 2008
页码 p.1-63
总页数 63
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Nuclear power plants; Safety systems; Safety evaluation; Automation systems; Model checking; Safety Case concept;

机译：核电厂;安全系统;安全评估;自动化系统;模型检查;安全案例概念;

相似文献

外文文献
中文文献
专利

1. Safety analysis of safety-critical systems for their applicability on NPP systems: A state-of-the-art review [J] . Kumar Vinay, Maurya Ashish Kumar, Singh Karam Veer, Quality and Reliability Engineering International . 2021,第5期

机译：对NPP系统适用性的安全关键系统安全性分析：最先进的评论
2. A Dynamical Study for Earthquakes of Seismic Safety Assessment in Nuclear Power Plants (NPPs) Using the System Dynamics (SD) Method [J] . T.-H. WOO, S.-H. LEE Energy sources . 2012,第9a12期

机译：利用系统动力学（SD）方法对核电厂（NPPs）进行地震安全评估的动力学研究
3. Safety assessment for the passive system of the nuclear power plants (NPPs) using safety margin estimation [J] . Tae-Ho Woo, Un-Chul Lee Energy . 2010,第4期

机译：使用安全余量估计的核电厂无源系统安全评估
4. Automation of Quantitative Requirements Determination to Software Reliability of Safety Critical NPP IC Systems [C] . Bohdan Volochiy, Oleksandr Mulyak, Leonid Ozirkovskyi, 2016 Second International Symposium on Stochastic Models in Reliability Engineering, Life Science and Operations Management . 2016

机译：安全关键NPP I＆C系统的软件可靠性的定量需求确定自动化
5. Towards the Automation of Migration and Safety of Third-Party Libraries [D] . Al-Rubaye, Hussein Ahmed Talib. 2020

机译：朝着第三方图书馆的迁移和安全自动化
6. Associating Vehicles Automation With Drivers Functional State Assessment Systems: A Challenge for Road Safety in the Future [O] . Christian Collet, Oren Musicant 2019

机译：将车辆自动化与驾驶员功能状态评估系统相关联：未来道路安全的挑战
7. Chapter 10. Research on the Behavior of Components Important to the Safety of NPPs and More Particularly the Aging of Such Components [O] . 2020

机译：第10章对NPPS安全性重要的组件行为及更具体地是这种组件的老化

NPP Safety Automation Systems Analysis. State of the Art

摘要

著录项

相似文献

相关主题

期刊订阅