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.

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.

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.

NUREG/CR.

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

Get Book Here

Book Description


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.

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.

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 PDF Author: International Atomic Energy Agency
Publisher:
ISBN:
Category : Business & Economics
Languages : en
Pages : 144

Get Book Here

Book Description
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.

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.

Power Plants and Power Systems Control 2003

Power Plants and Power Systems Control 2003 PDF Author: Kwang Y Lee
Publisher: Elsevier
ISBN: 9780080442105
Category : Science
Languages : en
Pages : 1248

Get Book Here

Book Description


Software Error Analysis

Software Error Analysis PDF Author: Wendy W. Peng
Publisher: Silicon Press
ISBN: 9780929306186
Category : Computers
Languages : en
Pages : 120

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.