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 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 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

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.

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.

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


Encyclopedia of Software Engineering

Encyclopedia of Software Engineering PDF Author: John J. Marciniak
Publisher: Wiley-Interscience
ISBN:
Category : Computers
Languages : en
Pages : 1034

Get Book Here

Book Description
Covering all aspects of engineering for practitioners who design, write, or test computer programs, this updated edition explores all the issues and principles of software design and engineering. With terminology that adheres to the standard set by The Institute of Electrical and Electronics Engineers (IEEE), the book features over 500 entries in 35 taxonomic areas, as well as biographies of over 100 personalities who have made an impact in the field.

Software for Computers in the Safety Systems of Nuclear Power Plant

Software for Computers in the Safety Systems of Nuclear Power Plant PDF Author:
Publisher:
ISBN:
Category : Nuclear power plants
Languages : en
Pages : 133

Get Book Here

Book Description


Nuclear Energy Basic Principles

Nuclear Energy Basic Principles PDF Author: International Atomic Energy Agency
Publisher:
ISBN: 9789201126085
Category : Business & Economics
Languages : en
Pages : 0

Get Book Here

Book Description
Describes the rationale and vision for the peaceful use of nuclear energy. The publication identifies the basic principles that nuclear energy systems must satisfy to fulfil their promise of meeting growing global energy demands.

Quality Assurance for Software Important to Safety

Quality Assurance for Software Important to Safety PDF Author: International Atomic Energy Agency
Publisher:
ISBN:
Category : Business & Economics
Languages : en
Pages : 184

Get Book Here

Book Description
The present publication provides for the first time information and guidance for defining and implementing quality assurance programmes covering the entire lifecycle of software important to safety. It takes into account the large amount of documentation available, the rapid development of software systems and the need of updated guidance on how to do it.