Guidance for the Verification and Validation of Neural Networks

Guidance for the Verification and Validation of Neural Networks
Author: Laura L. Pullum
Publisher: John Wiley & Sons
Total Pages: 146
Release: 2007-03-09
Genre: Computers
ISBN: 047008457X

This book provides guidance on the verification and validation of neural networks/adaptive systems. Considering every process, activity, and task in the lifecycle, it supplies methods and techniques that will help the developer or V&V practitioner be confident that they are supplying an adaptive/neural network system that will perform as intended. Additionally, it is structured to be used as a cross-reference to the IEEE 1012 standard.

Verification and Validation of Neural Networks for Aerospace Systems

Verification and Validation of Neural Networks for Aerospace Systems
Author: National Aeronautics and Space Administration (NASA)
Publisher: Createspace Independent Publishing Platform
Total Pages: 86
Release: 2018-06-12
Genre:
ISBN: 9781721037605

The Dryden Flight Research Center V&V working group and NASA Ames Research Center Automated Software Engineering (ASE) group collaborated to prepare this report. The purpose is to describe V&V processes and methods for certification of neural networks for aerospace applications, particularly adaptive flight control systems like Intelligent Flight Control Systems (IFCS) that use neural networks. This report is divided into the following two sections: 1) Overview of Adaptive Systems; and 2) V&V Processes/Methods.Mackall, Dale and Nelson, Stacy and Schumman, Johann and Clancy, Daniel (Technical Monitor)Ames Research Center; Armstrong Flight Research CenterAEROSPACE SYSTEMS; NEURAL NETS; SOFTWARE ENGINEERING; PROGRAM VERIFICATION (COMPUTERS); ADAPTIVE CONTROL; FLIGHT CONTROL; PERFORMANCE TESTS; COMPUTERIZED SIMULATION; SENSITIVITY ANALYSIS; AIRCRAFT STRUCTURES

Methods and Procedures for the Verification and Validation of Artificial Neural Networks

Methods and Procedures for the Verification and Validation of Artificial Neural Networks
Author: Brian J. Taylor
Publisher: Springer Science & Business Media
Total Pages: 280
Release: 2006-03-20
Genre: Computers
ISBN: 0387294856

Neural networks are members of a class of software that have the potential to enable intelligent computational systems capable of simulating characteristics of biological thinking and learning. Currently no standards exist to verify and validate neural network-based systems. NASA Independent Verification and Validation Facility has contracted the Institute for Scientific Research, Inc. to perform research on this topic and develop a comprehensive guide to performing V&V on adaptive systems, with emphasis on neural networks used in safety-critical or mission-critical applications. Methods and Procedures for the Verification and Validation of Artificial Neural Networks is the culmination of the first steps in that research. This volume introduces some of the more promising methods and techniques used for the verification and validation (V&V) of neural networks and adaptive systems. A comprehensive guide to performing V&V on neural network systems, aligned with the IEEE Standard for Software Verification and Validation, will follow this book.

Methods and Procedures for the Verification and Validation of Artificial Neural Networks

Methods and Procedures for the Verification and Validation of Artificial Neural Networks
Author: Brian J. Taylor
Publisher: Springer Science & Business Media
Total Pages: 300
Release: 2006
Genre: Computers
ISBN: 9780387282886

Neural networks are members of a class of software that have the potential to enable intelligent computational systems capable of simulating characteristics of biological thinking and learning. This volume introduces some of the methods and techniques used for the verification and validation of neural networks and adaptive systems.

Neural Information Processing

Neural Information Processing
Author: Jun Wang
Publisher: Springer
Total Pages: 1248
Release: 2006-10-03
Genre: Computers
ISBN: 3540464859

The three volume set LNCS 4232, LNCS 4233, and LNCS 4234 constitutes the refereed proceedings of the 13th International Conference on Neural Information Processing, ICONIP 2006, held in Hong Kong, China in October 2006. The 386 revised full papers presented were carefully reviewed and selected from 1175 submissions.

Diagnostics and Prognostics of Aerospace Engines

Diagnostics and Prognostics of Aerospace Engines
Author: Ravi Rajamani
Publisher: SAE International
Total Pages: 196
Release: 2018-11-28
Genre: Transportation
ISBN: 0768093074

The propulsion system is arguably the most critical part of the aircraft; it certainly is the single most expensive component of the vehicle. Ensuring that engines operate reliably without major maintenance issues is an important goal for all operators, military or commercial. Engine health management (EHM) is a critical piece of this puzzle and has been a part of the engine maintenance for more than five decades. In fact, systematic condition monitoring was introduced for engines before it was applied to other systems on the aircraft. Diagnostics and Prognostics of Aerospace Engines is a collection of technical papers from the archives of SAE International, which introduces the reader to a brief history of EHM, presents some examples of EHM functions, and outlines important future trends. The goal of engine health maintenance is ultimately to reduce the cost of operations by catching problems before they become major issues, by helping reduce repair times through diagnostics, and by facilitating logistic optimization through prognostic estimates. Diagnostics and Prognostics of Aerospace Engines shows that the essence of these goals has not changed over time.

Adaptive Control Approach For Software Quality Improvement

Adaptive Control Approach For Software Quality Improvement
Author: W Eric Wong
Publisher: World Scientific
Total Pages: 308
Release: 2011-06-30
Genre: Computers
ISBN: 9814460737

This book focuses on the topic of improving software quality using adaptive control approaches. As software systems grow in complexity, some of the central challenges include their ability to self-manage and adapt at run time, responding to changing user needs and environments, faults, and vulnerabilities. Control theory approaches presented in the book provide some of the answers to these challenges.The book weaves together diverse research topics (such as requirements engineering, software development processes, pervasive and autonomic computing, service-oriented architectures, on-line adaptation of software behavior, testing and QoS control) into a coherent whole.Written by world-renowned experts, this book is truly a noteworthy and authoritative reference for students, researchers and practitioners to better understand how the adaptive control approach can be applied to improve the quality of software systems. Book chapters also outline future theoretical and experimental challenges for researchers in this area.