Download or read book Nuclear Power Plant Instrumentation and Control Systems for Safety and Security written by Yastrebenetsky, Michael and published by IGI Global. This book was released on 2014-02-28 with total page 470 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Verification and Validation of Software Related to Nuclear Power Plant Instrumentation and Control written by International Atomic Energy Agency and published by . This book was released on 1999 with total page 144 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Dependability Assessment of Software for Safety Instrumentation and Control Systems at Nuclear Power Plants written by International Atomic Energy Agency and published by International Atomic Energy Agency. This book was released on 2018-09-30 with total page 80 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book International Atomic Energy Agency Publications written by International Atomic Energy Agency and published by . This book was released on 2004 with total page 542 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Quality Assurance for Software Important to Safety written by International Atomic Energy Agency and published by . This book was released on 2000 with total page 184 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book NUREG CR written by U.S. Nuclear Regulatory Commission and published by . This book was released on 1977 with total page 164 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Safety of Computer Control Systems 1983 Safecomp 83 written by J. A. Baylis and published by Elsevier. This book was released on 2014-05-17 with total page 282 pages. Available in PDF, EPUB and Kindle. Book excerpt: Safety of Computer Control Systems 1983: Achieving Safe Real Time Computer Systems contains the proceedings of the Third IFAC/IFIP Workshop held at Cambridge, UK on September 20-22, 1983. Composed of 36 chapters, separated into the eight sessions of the workshop, this book begins with a discussion of the safety and reliability of computer control systems. Subsequent chapters explore the systems design for safety and reliability; fault tolerance, recovery, and use of redundancy; and aspects of fault tolerance for system reliability. Other chapters detail specification techniques; system development and quality assurance; verifications and validations; case studies; as well as scheduling, networks, and communications.
Download or read book Safety Aspects of Computer Control written by Phil Bennett and published by Butterworth-Heinemann. This book was released on 2014-05-15 with total page 261 pages. Available in PDF, EPUB and Kindle. Book excerpt: Safety Aspects of Computer Control focuses on the increased usage of computers and safety procedures for the control of their applications. The selection first elaborates on software in safety-related systems, regulatory issues, and legal liability. Topics cover product liability, liability under the contract law, liability under the law of negligence, methods of ensuring safety, some aspects of regulation of software safety, purpose and principles of regulation, and direct regulation. The book then examines standardization efforts worldwide; real-time software requirements specification and animation using extended Petri nets; and independent software verification and validation in practice. Discussions focus on verification and validation principles, organizational principles, specification language, extended Petri nets environment, history of software standards, and standardization work realized through ISO or IEC. The manuscript takes a look at design and licensing of safety-related software, fault-tolerant control for safety, and use and relevance for the development of safety-critical systems. Concerns include formal methods in the safety-critical systems life cycle, random and systematic failures, hardware and systematic failures, and software quality standards. The book is highly recommended for computer science experts and researchers interested in the safety aspects of computer control.
Download or read book Scientific and Technical Aerospace Reports written by and published by . This book was released on 1995 with total page 500 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Software for Computer Based Systems Important to Safety in Nuclear Power Plants written by International Atomic Energy Agency and published by . This book was released on 2000 with total page 106 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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).
Download or read book Energy Research Abstracts written by and published by . This book was released on 1994-11 with total page 486 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Software Error Analysis written by Wendy W. Peng and published by Silicon Press. This book was released on 1994-10 with total page 120 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Nuclear Science Abstracts written by and published by . This book was released on 1973 with total page 990 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Proceedings of the Topical Meeting on Nuclear Plant Instrumentation Control and Man Machine Interface Technologies written by American Nuclear Society and published by . This book was released on 1993 with total page 652 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Artificial Intelligence and Other Innovative Computer Applications in the Nuclear Industry written by M. Catherine Majumdar and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 866 pages. Available in PDF, EPUB and Kindle. Book excerpt: This conference brought together experts from 15 countries to discuss application of Artificial Intelligence (AI) techniques to the nuclear industry. It was apparent from the meeting that even those active in the field were surprised at the extent of work and the progress made. There was a strong impression that application of this technology to nuclear power plants is inevitable. The benefits to improved operation, design, and safety are simply too significant to be ignored. This is a much different conclusion than might have been reached a few years ago when the technology was new and people were struggling to understand its significance. We believe that this meeting reflects a major turning point for the technology. It has moved from being a topic understood only by specialists to a situation where users are the most active people in the field. A broad array of innovative work is described from all of the participating countries. The activity in the u.s. is large and diverse. Although there is no nationally focussed policy for AI research in the U.S., many of these activities are reported here. Japan and France have a strong drive to integrate AI technology into their nuclear plants, and this is reflecteq in these proceedings.
Download or read book Nuclear Energy Basic Principles written by International Atomic Energy Agency and published by . This book was released on 2008 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
Download or read book Energy and Water Development Appropriations for 1992 Department of Energy FY 1991 budget justifications written by United States. Congress. House. Committee on Appropriations. Subcommittee on Energy and Water Development and published by . This book was released on 1991 with total page 2160 pages. Available in PDF, EPUB and Kindle. Book excerpt:
