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.
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.
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.
NUREG/CR.
Author: U.S. Nuclear Regulatory Commission
Publisher:
ISBN:
Category : Nuclear energy
Languages : en
Pages : 164
Book Description
Publisher:
ISBN:
Category : Nuclear energy
Languages : en
Pages : 164
Book Description
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.
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.
Verification and Validation of Software Related to Nuclear Power Plant Instrumentation and Control
Author: International Atomic Energy Agency
Publisher:
ISBN:
Category : Business & Economics
Languages : en
Pages : 144
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.
Publisher:
ISBN:
Category : Business & Economics
Languages : en
Pages : 144
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
Author: John J. Marciniak
Publisher: Wiley-Interscience
ISBN:
Category : Computers
Languages : en
Pages : 1034
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.
Publisher: Wiley-Interscience
ISBN:
Category : Computers
Languages : en
Pages : 1034
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
Author: Kwang Y Lee
Publisher: Elsevier
ISBN: 9780080442105
Category : Science
Languages : en
Pages : 1248
Book Description
Publisher: Elsevier
ISBN: 9780080442105
Category : Science
Languages : en
Pages : 1248
Book Description
Software Error Analysis
Author: Wendy W. Peng
Publisher: Silicon Press
ISBN: 9780929306186
Category : Computers
Languages : en
Pages : 120
Book Description
Publisher: Silicon Press
ISBN: 9780929306186
Category : Computers
Languages : en
Pages : 120
Book Description
Basic Safety Principles for Nuclear Power Plants
Author: International Nuclear Safety Advisory Group
Publisher:
ISBN:
Category : Business & Economics
Languages : en
Pages : 118
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.
Publisher:
ISBN:
Category : Business & Economics
Languages : en
Pages : 118
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.