Guide to Verification and Validation of the SCALE-4 Criticality Safety Software

Guide to Verification and Validation of the SCALE-4 Criticality Safety Software

Author:

Publisher:

Published: 1996

Total Pages: 114

ISBN-13:

DOWNLOAD EBOOK

Whenever a decision is made to newly install the SCALE nuclear criticality safety software on a computer system, the user should run a set of verification and validation (V & V) test cases to demonstrate that the software is properly installed and functioning correctly. This report is intended to serve as a guide for this V & V in that it specifies test cases to run and gives expected results. The report describes the V & V that has been performed for the nuclear criticality safety software in a version of SCALE-4. The verification problems specified by the code developers have been run, and the results compare favorably with those in the SCALE 4.2 baseline. The results reported in this document are from the SCALE 4.2P version which was run on an IBM RS/6000 workstation. These results verify that the SCALE-4 nuclear criticality safety software has been correctly installed and is functioning properly. A validation has been performed for KENO V.a utilizing the CSAS25 criticality sequence and the SCALE 27-group cross-section library for 233U, 235U, and 239Pu fissile, systems in a broad range of geometries and fissile fuel forms. The experimental models used for the validation were taken from three previous validations of KENO V.a. A statistical analysis of the calculated results was used to determine the average calculational bias and a subcritical k{sub eff} criteria for each class of systems validated. Included the statistical analysis is a means of estimating the margin of subcriticality in k{sub eff}. This validation demonstrates that KENO V.a and the 27-group library may be used for nuclear criticality safety computations provided the system being analyzed falls within the range of the experiments used in the validation.


Software Verification and Validation

Software Verification and Validation

Author: Marcus S. Fisher

Publisher: Springer Science & Business Media

Published: 2007-12-03

Total Pages: 178

ISBN-13: 0387479392

DOWNLOAD EBOOK

This book fills the critical need for an in-depth technical reference providing the methods and techniques for building and maintaining confidence in many varities of system software. The intent is to help develop reliable answers to such critical questions as: 1) Are we building the right software for the need? and 2) Are we building the software right? Software Verification and Validation: An Engineering and Scientific Approach is structured for research scientists and practitioners in industry. The book is also suitable as a secondary textbook for advanced-level students in computer science and engineering.


NUREG/CR.

NUREG/CR.

Author: U.S. Nuclear Regulatory Commission

Publisher:

Published: 1977

Total Pages: 144

ISBN-13:

DOWNLOAD EBOOK


Reference Information for the Software Verification and Validation Process

Reference Information for the Software Verification and Validation Process

Author: Dolores R. Wallace

Publisher: DIANE Publishing

Published: 1996

Total Pages: 97

ISBN-13: 0788143409

DOWNLOAD EBOOK

Computing systems are employed in the health care environment in efforts to increase reliability of care and reduce costs. Software verification and validation (V&V) is an aid in determining that the software requirements are implemented correctly and completely and are traceable to system requirements. It helps to ensure that those system functions controlled by software are secure, reliable, and maintainable. Software V&V is conducted throughout the planning, development and maintenance of software systems, including knowledge based systems, and may assist in assuring appropriate reuse of software.


System Validation and Verification

System Validation and Verification

Author: Jeffrey O. Grady

Publisher: CRC Press

Published: 1997-11-25

Total Pages: 356

ISBN-13: 9780849378386

DOWNLOAD EBOOK

Historically, the terms validation and verification have been very loosely defined in the system engineering world, with predictable confusion. Few hardware or software testing texts even touch upon validation and verification, despite the fact that, properly employed, these test tools offer system and test engineers powerful techniques for identifying and solving problems early in the design process. Together, validation and verification encompass testing, analysis, demonstration, and examination methods used to determine whether a proposed design will satisfy system requirements. System Validation and Verification clear definitions of the terms and detailed information on using these fundamental tools for problem solving. It smoothes the transition between requirements and design by providing methods for evaluating the ability of a given approach to satisfy demanding technical requirements. With this book, system and test engineers and project managers gain confidence in their designs and lessen the likelihood of serious problems cropping up late in the program. In addition to explanations of the theories behind the concepts, the book includes practical methods for each step of the process, examples from the author's considerable experience, and illustrations and tables to support the ideas. Although not primarily a textbook, System Validation and Verification is based in part on validation and verification courses taught by the author and is an excellent supplemental reference for engineering students. In addition to its usefulness to system engineers, the book will be valuable to a wider audience including manufacturing, design, software , and risk management project engineers - anyone involved in large systems design projects.