Download or read book Development of a Standard for Verification and Validation of Software Used to Calculate Nuclear System Thermal Fluids Behavior written by and published by . This book was released on 2010 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: With the resurgence of nuclear power and increased interest in advanced nuclear reactors as an option to supply abundant energy without the associated greenhouse gas emissions of the more conventional fossil fuel energy sources, there is a need to establish internationally recognized standards for the verification and validation (V & V) of software used to calculate the thermal-hydraulic behavior of advanced reactor designs for both normal operation and hypothetical accident conditions. To address this need, ASME (American Society of Mechanical Engineers) Standards and Certification has established the V & V 30 Committee, under the responsibility of the V & V Standards Committee, to develop a consensus Standard for verification and validation of software used for design and analysis of advanced reactor systems. The initial focus of this committee will be on the V & V of system analysis and computational fluid dynamics (CFD) software for nuclear applications. To limit the scope of the effort, the committee will further limit its focus to software to be used in the licensing of High-Temperature Gas-Cooled Reactors. In this framework, the standard should conform to Nuclear Regulatory Commission (NRC) practices, procedures and methods for licensing of nuclear power plants as embodied in the United States (U.S.) Code of Federal Regulations and other pertinent documents such as Regulatory Guide 1.203, "Transient and Accident Analysis Methods" and NUREG-0800, "NRC Standard Review Plan". In addition, the standard should be consistent with applicable sections of ASME Standard NQA-1 ("Quality Assurance Requirements for Nuclear Facility Applications (QA)"). This paper describes the general requirements for the V & V Standard, which includes; (a) the definition of the operational and accident domain of a nuclear system that must be considered if the system is to licensed, (b) the corresponding calculational domain of the software that should encompass the nuclear operational and accident domain to be used to study the system behavior for licensing purposes, (c) the definition of the scaled experimental data set required to provide the basis for validating the software, (d) the ensemble of experimental data sets required to populate the validation matrix for the software in question, and (e) the practices and procedures to be used when applying a validation standard. Although this initial effort will focus on software for licensing of High-Temperature Gas Reactors, it is anticipated that the practices and procedures developed for this standard can eventually be extended to other nuclear and non-nuclear applications.
Download or read book Neue Satzungen der am 9 Juni 1819 errichteten Gesellschaft Iduna zu Leipzig Gesellschaftsbeschlu v 1 Nov 1893 written by and published by . This book was released on 1893 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Planning for Software Validation Verification and Testing written by and published by . This book was released on 1982 with total page 102 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Standard for Verification and Validation in Computational Fluid Dynamics and Heat Transfer written by and published by . This book was released on 2009 with total page 88 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Verification and Validation of Control System Software written by and published by . This book was released on 1991 with total page 19 pages. Available in PDF, EPUB and Kindle. Book excerpt: The following guidelines are proposed for verification and validation (V V) of nuclear power plant control system software: (a) use risk management to decide what and how much V V is needed; (b) classify each software application using a scheme that reflects what type and how much V V is needed; (c) maintain a set of reference documents with current information about each application; (d) use Program Inspection as the initial basic verification method; and (e) establish a deficiencies log for each software application. The following additional practices are strongly recommended: (a) use a computer-based configuration management system to track all aspects of development and maintenance; (b) establish reference baselines of the software, associated reference documents, and development tools at regular intervals during development; (c) use object-oriented design and programming to promote greater software reliability and reuse; (d) provide a copy of the software development environment as part of the package of deliverables; and (e) initiate an effort to use formal methods for preparation of Technical Specifications. The paper provides background information and reasons for the guidelines and recommendations. 3 figs., 3 tabs.
Download or read book Love for Foreningen til Kv gavlens Fremme i Gammel Sogn written by and published by . This book was released on 1892 with total page 6 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Guideline for Lifecycle Validation Verification and Testing of Computer Software written by United States. National Bureau of Standards and published by . This book was released on 1984 with total page 44 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Automatic Verification of Behavioral Specifications in Software Intensive Systems written by Andrei Soeanu Caval and published by . This book was released on 2007 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Modern systems tend to exhibit an ever increasing complexity especially due to their software design components and programmable aspects which are nowadays ubiquitous. Consequently, in order to assure reliable and dependable systems, sustained efforts are required in the process of system verification and validation. However, conventional verification and validation techniques that are primarily based on testing and simulation, while being helpful and useful, may lack in many cases the desired level of rigor and completeness and are generally costly, laborious and time consuming. In contrast, using verification techniques that are based on formal foundations, such as model-checking and program analysis in a complementary manner to the traditional verification techniques can provide an increased level of reliability and dependability. In this context, applying such techniques for verifying the correctness and validity of the engineered systems early in the design phase can greatly improve the quality and performance of the design. Moreover, using such a verification methodology can alleviate the high cost of maintaining the systems later in their development phases. Presently, modern system design can benefit from a wide range of development paradigms including those that are using techniques traditionally employed in software engineering such as the object oriented design paradigm. In order to standardize the process of system design and development, several modeling languages emerged in order to provide the means for capturing and modeling various system specifications and requirements. The Unified Modeling Language (UML) 2.0 and more recently the Systems Modeling Languages (SysML) represent the most prominent standardized modeling languages for software and systems engineering. In this setting, the research initiative that this work addresses, is introducing a unified paradigm for the verification and validation of software intensive systems engineering design models by using formal verification techniques that can be applied in order to assess different behavioral diagrams belonging to the aforementioned modeling languages.
Download or read book Verification and Validation in Systems Engineering written by Mourad Debbabi and published by Springer. This book was released on 2011-03-30 with total page 276 pages. Available in PDF, EPUB and Kindle. Book excerpt: As well as an overview of UML and the more recent SysML, Debbabi and his co-authors investigate varied methodologies and techniques for the automatic verification and validation of systems engineering design models expressed in standardized modeling languages.
Download or read book Guidelines for the Verification and Validation of Expert System Software and Conventional Software written by and published by . This book was released on 1995 with total page 99 pages. Available in PDF, EPUB and Kindle. Book excerpt: This report is the fifth volume in a series of reports describing the results of the Expert System Verification C, and Validation (V & V) project which is jointly funded by the U.S. Nuclear Regulatory Commission and the Electric Power Research Institute toward the objective of formulating Guidelines for the V & V of expert systems for use in nuclear power applications. This report provides the rationale for and description of those guidelines. The actual guidelines themselves are presented in Volume 7, {open_quotes}User's Manual.{close_quotes} Three factors determine what V & V is needed: (1) the stage of the development life cycle (requirements, design, or implementation); (2) whether the overall system or a specialized component needs to be tested (knowledge base component, inference engine or other highly reusable element, or a component involving conventional software); and (3) the stringency of V & V that is needed (as judged from an assessment of the system's complexity and the requirement for its integrity to form three Classes). A V & V Guideline package is provided for each of the combinations of these three variables. The package specifies the V & V methods recommended and the order in which they should be administered, the assurances each method provides, the qualifications needed by the V & V team to employ each particular method, the degree to which the methods should be applied, the performance measures that should be taken, and the decision criteria for accepting, conditionally accepting, or rejecting an evaluated system. In addition to the Guideline packages, highly detailed step-by-step procedures are provided for 11 of the more important methods, to ensure that they can be implemented correctly. The Guidelines can apply to conventional procedural software systems as well as all kinds of Al systems.
Download or read book Guideline for software verification and validation plans written by United States. National Bureau of Standards and published by . This book was released on 1987 with total page 6 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book American National Standard written by American National Standards Institute. American Nuclear Society and published by . This book was released on 2008 with total page 31 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Validation of Evolving Software written by Hana Chockler and published by Springer. This book was released on 2015-07-01 with total page 216 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as a research monograph and a reference book.
Download or read book Guidelines for the Verification and Validation of Expert System Software and Conventional Software Validation scenarios written by L. A. Miller and published by . This book was released on 1995 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Software Engineering Standards Application Workshop written by and published by . This book was released on 1991 with total page 184 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Guidelines for the Verification and Validation Expert System Software and Conventional Software Validation Scenarios NUREG CR 6316 Vol 6 U S Nuclear Regulatory Commission March 1995 written by and published by . This book was released on with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Software Validation written by Hans-Ludwig Hausen and published by North Holland. This book was released on 1984 with total page 396 pages. Available in PDF, EPUB and Kindle. Book excerpt:
