Verification and Validation of Software Related to Nuclear Power Plant Instrumentation and Control

Verification and Validation of Software Related to Nuclear Power Plant Instrumentation and Control
Author: International Atomic Energy Agency
Publisher:
Total Pages: 144
Release: 1999
Genre: Business & Economics
ISBN:

This report provides practical guidance on the methods available for verification of the software and validation of computer based systems in nuclear power plants, and on how and when these methods can be effectively applied. It will be of particular interest to all those involved in the development, implementation, maintenance and use of software and computer based instrumentation and control systems in nuclear power plants.

Quality Assurance for Software Important to Safety

Quality Assurance for Software Important to Safety
Author: International Atomic Energy Agency
Publisher:
Total Pages: 184
Release: 2000
Genre: Business & Economics
ISBN:

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.

Cyber Security and Safety of Nuclear Power Plant Instrumentation and Control Systems

Cyber Security and Safety of Nuclear Power Plant Instrumentation and Control Systems
Author: Yastrebenetsky, Michael A.
Publisher: IGI Global
Total Pages: 501
Release: 2020-05-22
Genre: Computers
ISBN: 1799832791

Safety and security are crucial to the operations of nuclear power plants, but cyber threats to these facilities are increasing significantly. Instrumentation and control systems, which play a vital role in the prevention of these incidents, have seen major design modifications with the implementation of digital technologies. Advanced computing systems are assisting in the protection and safety of nuclear power plants; however, significant research on these computational methods is deficient. Cyber Security and Safety of Nuclear Power Plant Instrumentation and Control Systems is a pivotal reference source that provides vital research on the digital developments of instrumentation and control systems for assuring the safety and security of nuclear power plants. While highlighting topics such as accident monitoring systems, classification measures, and UAV fleets, this publication explores individual cases of security breaches as well as future methods of practice. This book is ideally designed for engineers, industry specialists, researchers, policymakers, scientists, academicians, practitioners, and students involved in the development and operation of instrumentation and control systems for nuclear power plants, chemical and petrochemical industries, transport, and medical equipment.

NUREG/CR.

NUREG/CR.
Author: U.S. Nuclear Regulatory Commission
Publisher:
Total Pages: 16
Release: 1977
Genre: Nuclear energy
ISBN:

Safety of Nuclear Power Plants

Safety of Nuclear Power Plants
Author: International Atomic Energy Agency
Publisher:
Total Pages: 0
Release: 2012
Genre: Technology & Engineering
ISBN: 9789201215109

On the basis of the principles included in the Fundamental Safety Principles, IAEA Safety Standards Series No. SF-1, this Safety Requirements publication establishes requirements applicable to the design of nuclear power plants. It covers the design phase and provides input for the safe operation of the power plant. It elaborates on the safety objective, safety principles and concepts that provide the basis for deriving the safety requirements that must be met for the design of a nuclear power plant. Contents: 1. Introduction; 2. Applying the safety principles and concepts; 3. Management of safety in design; 4. Principal technical requirements; 5. General plant design; 6. Design of specific plant systems.

Nuclear Power Plant Instrumentation and Control Systems for Safety and Security

Nuclear Power Plant Instrumentation and Control Systems for Safety and Security
Author: Yastrebenetsky, Michael
Publisher: IGI Global
Total Pages: 470
Release: 2014-02-28
Genre: Technology & Engineering
ISBN: 1466651342

Accidents and natural disasters involving nuclear power plants such as Chernobyl, Three Mile Island, and the recent meltdown at Fukushima are rare, but their effects are devastating enough to warrant increased vigilance in addressing safety concerns. Nuclear Power Plant Instrumentation and Control Systems for Safety and Security evaluates the risks inherent to nuclear power and methods of preventing accidents through computer control systems and other such emerging technologies. Students and scholars as well as operators and designers will find useful insight into the latest security technologies with the potential to make the future of nuclear energy clean, safe, and reliable.

Basic Safety Principles for Nuclear Power Plants

Basic Safety Principles for Nuclear Power Plants
Author: International Nuclear Safety Advisory Group
Publisher:
Total Pages: 118
Release: 1999
Genre: Business & Economics
ISBN:

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.

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
Author: International Atomic Energy Agency
Publisher: International Atomic Energy Agency
Total Pages: 80
Release: 2018-09-30
Genre: Technology & Engineering
ISBN: 9789201012180

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.

Computer Systems and Software Engineering: Concepts, Methodologies, Tools, and Applications

Computer Systems and Software Engineering: Concepts, Methodologies, Tools, and Applications
Author: Management Association, Information Resources
Publisher: IGI Global
Total Pages: 2124
Release: 2017-12-01
Genre: Computers
ISBN: 1522539247

Professionals in the interdisciplinary field of computer science focus on the design, operation, and maintenance of computational systems and software. Methodologies and tools of engineering are utilized alongside computer applications to develop efficient and precise information databases. Computer Systems and Software Engineering: Concepts, Methodologies, Tools, and Applications is a comprehensive reference source for the latest scholarly material on trends, techniques, and uses of various technology applications and examines the benefits and challenges of these computational developments. Highlighting a range of pertinent topics such as utility computing, computer security, and information systems applications, this multi-volume book is ideally designed for academicians, researchers, students, web designers, software developers, and practitioners interested in computer systems and software engineering.

Dependability of Networked Computer-based Systems

Dependability of Networked Computer-based Systems
Author: Ajit Kumar Verma
Publisher: Springer Science & Business Media
Total Pages: 212
Release: 2011-07-21
Genre: Technology & Engineering
ISBN: 0857293184

The measurement of dependability attributes on real systems is a very time-consuming and costly affair, making analytical or simulation modeling the only viable solutions. Dependability of Networked Computer-based Systems explores reliability, availability and safety modeling of networked computer-based systems used in life-critical applications such as avionics, nuclear power plants, automobiles and chemical process industries. Dependability of Networked Computer-based Systems gives an overview of basic dependability modeling concepts and addresses new challenges in dependability modeling of networked computer-based systems, as well as new trends, their capabilities and limitations. It covers a variety of dependability modeling methods: stochastic processes, Markov and semi-Markov models, response-time distribution, stochastic Petri-net-based modeling formalisms, and Monte Carlo simulation models. Dependability of Networked Computer-based Systems provides students and researchers with a detailed overview of dependability models and analysis techniques. Practicing engineers will also find this text a useful guide to decision-making based on system dependability at the design, operation and maintenance stages.