Software for Computers Important to Safety for Nuclear Power Plants. Software Aspects of Defence Against Common Cause Failures, Use of Software Tools and of Pre-developed Software

Software for Computers Important to Safety for Nuclear Power Plants. Software Aspects of Defence Against Common Cause Failures, Use of Software Tools and of Pre-developed Software PDF Author: British Standards Institute Staff
Publisher:
ISBN: 9780580368783
Category :
Languages : en
Pages : 44

Get Book Here

Book Description
Nuclear-electric power stations, Nuclear safety, Computer software, Safety measures, Reliability

Software for Computers Important to Safety for Nuclear Power Plants. Software Aspects of Defence Against Common Cause Failures, Use of Software Tools and of Pre-developed Software

Software for Computers Important to Safety for Nuclear Power Plants. Software Aspects of Defence Against Common Cause Failures, Use of Software Tools and of Pre-developed Software PDF Author: British Standards Institute Staff
Publisher:
ISBN: 9780580368783
Category :
Languages : en
Pages : 44

Get Book Here

Book Description
Nuclear-electric power stations, Nuclear safety, Computer software, Safety measures, Reliability

Software for Computers Important to Safety for Nuclear Power Plants -- Part 2 : Software Aspects of Defence Against Common Cause Failures, Use of Software Tools and of Pre-developed Software

Software for Computers Important to Safety for Nuclear Power Plants -- Part 2 : Software Aspects of Defence Against Common Cause Failures, Use of Software Tools and of Pre-developed Software PDF Author: International Electrotechnical Commission
Publisher:
ISBN: 9782831855585
Category : Computer software
Languages : en
Pages : 79

Get Book Here

Book Description


Software for Computer Based Systems Important to Safety in Nuclear Power Plants

Software for Computer Based Systems Important to Safety in Nuclear Power Plants PDF Author: International Atomic Energy Agency
Publisher:
ISBN:
Category : Business & Economics
Languages : en
Pages : 106

Get Book Here

Book Description
This Safety Guide provides guidance on the collection of evidence and the preparation of documentation to be used to demonstrate the safety and reliability of the software for computer based systems important to safety in nuclear power plants for all phases of the system life-cycle. It recommends how to meet the requirements established in Safety Standards Series No. NS-R-1, The Safety of Nuclear Power Plants: Design (2000).

Computer Safety, Reliability, and Security

Computer Safety, Reliability, and Security PDF Author: Rune Winther
Publisher: Springer Science & Business Media
ISBN: 3540292004
Category : Computers
Languages : en
Pages : 416

Get Book Here

Book Description
This book constitutes the refereed proceedings of the 24th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2005, held in Fredrikstad, Norway, in September 2005. The 30 revised full papers were carefully reviewed and selected for inclusion in the book. The papers address all aspects of dependability and survivability of critical computerized systems in various branches and infrastructures.

Software Important to Safety in Nuclear Power Plants

Software Important to Safety in Nuclear Power Plants PDF Author: International Atomic Energy Agency
Publisher:
ISBN:
Category : Business & Economics
Languages : en
Pages : 196

Get Book Here

Book Description
This report provides guidance on current practices, documenting their strengths and weaknesses in dealing with the important issues of software engineering that nuclear power plant system designers, software producers and regulators are facing. It focuses on safety critical applications of general purpose processors controlled by custom developed software; however, it should also have application in safety related applications and in other types of computers.

Probabilistic Safety Assessment and Management

Probabilistic Safety Assessment and Management PDF Author: Cornelia Spitzer
Publisher: Springer
ISBN: 0857294105
Category : Technology & Engineering
Languages : en
Pages : 3803

Get Book Here

Book Description
A collection of papers presented at the PSAM 7 – ESREL ’04 conference in June 2004, reflecting a wide variety of disciplines, such as principles and theory of reliability and risk analysis, systems modelling and simulation, consequence assessment, human and organisational factors, structural reliability methods, software reliability and safety, insights and lessons from risk studies and management/decision making. This volume covers both well-established practices and open issues in these fields, identifying areas where maturity has been reached and those where more development is needed.

Dependability Assessment of Software for Safety Instrumentation and Control Systems at Nuclear Power Plants

Dependability Assessment of Software for Safety Instrumentation and Control Systems at Nuclear Power Plants PDF Author: International Atomic Energy Agency
Publisher: International Atomic Energy Agency
ISBN: 9789201012180
Category : Technology & Engineering
Languages : en
Pages : 80

Get Book Here

Book Description
This publication defines a framework that represents the state of the art in assessment methodologies for safety and instrumentation and control software used at nuclear power plants. It describes an approach for developing and communicating assessments based on claims, argument and evidence. The assessment of software dependability, which encompasses properties such as safety, reliability, availability, maintainability and security, is an essential and challenging aspect of the safety justification. Guiding principles for a dependability assessment are established to provide the basis for defining an assessment strategy and implementing the assessment process. Sources of evidence for the assessment are provided and lessons learned from past digital instrumentation and control system implementation in areas such as software development, operational usage, regulatory review and platform certification are also described.

NUREG/CR.

NUREG/CR. PDF Author: U.S. Nuclear Regulatory Commission
Publisher:
ISBN:
Category : Nuclear energy
Languages : en
Pages : 48

Get Book Here

Book Description


Recommandations Relatives Aux Logiciels en Temps Réel Critiques Pour la Sûreté Dans Les Centrales Nucléaires

Recommandations Relatives Aux Logiciels en Temps Réel Critiques Pour la Sûreté Dans Les Centrales Nucléaires PDF Author: Canada. Advisory Committee on Nuclear Safety
Publisher:
ISBN:
Category :
Languages : en
Pages : 12

Get Book Here

Book Description


Basic Safety Principles for Nuclear Power Plants

Basic Safety Principles for Nuclear Power Plants PDF Author: International Nuclear Safety Advisory Group
Publisher:
ISBN:
Category : Business & Economics
Languages : en
Pages : 118

Get Book Here

Book Description
The present report is a revision of Safety Series No. 75-INSAG-3 (1988), updating the statements made on the objectives and principles of safe design and operation for electricity generating nuclear power plants. It includes the improvements made in the safety of operating nuclear power plants and identifies the principles underlying the best current safety policies to be applied in future plants. It presents INSAG's understanding of the principles underlying the best current safety policies and practices of the nuclear power industry.