Author: British Standards Institute Staff
Publisher:
ISBN: 9780580368783
Category :
Languages : en
Pages : 44
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
Author: British Standards Institute Staff
Publisher:
ISBN: 9780580368783
Category :
Languages : en
Pages : 44
Book Description
Nuclear-electric power stations, Nuclear safety, Computer software, Safety measures, Reliability
Publisher:
ISBN: 9780580368783
Category :
Languages : en
Pages : 44
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
Author: International Electrotechnical Commission
Publisher:
ISBN: 9782831855585
Category : Computer software
Languages : en
Pages : 79
Book Description
Publisher:
ISBN: 9782831855585
Category : Computer software
Languages : en
Pages : 79
Book Description
Software for Computer Based Systems Important to Safety in Nuclear Power Plants
Author: International Atomic Energy Agency
Publisher:
ISBN:
Category : Business & Economics
Languages : en
Pages : 106
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).
Publisher:
ISBN:
Category : Business & Economics
Languages : en
Pages : 106
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
Author: Rune Winther
Publisher: Springer Science & Business Media
ISBN: 3540292004
Category : Computers
Languages : en
Pages : 416
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.
Publisher: Springer Science & Business Media
ISBN: 3540292004
Category : Computers
Languages : en
Pages : 416
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
Author: International Atomic Energy Agency
Publisher: International Atomic Energy Agency
ISBN: 9789201012180
Category : Technology & Engineering
Languages : en
Pages : 80
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.
Publisher: International Atomic Energy Agency
ISBN: 9789201012180
Category : Technology & Engineering
Languages : en
Pages : 80
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.
Probabilistic Safety Assessment and Management
Author: Cornelia Spitzer
Publisher: Springer
ISBN: 0857294105
Category : Technology & Engineering
Languages : en
Pages : 3803
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.
Publisher: Springer
ISBN: 0857294105
Category : Technology & Engineering
Languages : en
Pages : 3803
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.
Software Important to Safety in Nuclear Power Plants
Author: International Atomic Energy Agency
Publisher:
ISBN:
Category : Business & Economics
Languages : en
Pages : 196
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.
Publisher:
ISBN:
Category : Business & Economics
Languages : en
Pages : 196
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.
NUREG/CR.
Author: U.S. Nuclear Regulatory Commission
Publisher:
ISBN:
Category : Nuclear energy
Languages : en
Pages : 48
Book Description
Publisher:
ISBN:
Category : Nuclear energy
Languages : en
Pages : 48
Book Description
Recommandations Relatives Aux Logiciels en Temps Réel Critiques Pour la Sûreté Dans Les Centrales Nucléaires
Author: Canada. Advisory Committee on Nuclear Safety
Publisher:
ISBN:
Category :
Languages : en
Pages : 12
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 12
Book Description
Quality Assurance for Software Important to Safety
Author: International Atomic Energy Agency
Publisher:
ISBN:
Category : Business & Economics
Languages : en
Pages : 184
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.
Publisher:
ISBN:
Category : Business & Economics
Languages : en
Pages : 184
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.