Verification and Validation of Neural Networks for Aerospace Systems PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Verification and Validation of Neural Networks for Aerospace Systems PDF full book. Access full book title Verification and Validation of Neural Networks for Aerospace Systems by National Aeronautics and Space Administration (NASA). Download full books in PDF and EPUB format.
Author: National Aeronautics and Space Administration (NASA) Publisher: Createspace Independent Publishing Platform ISBN: 9781721037605 Category : Languages : en Pages : 86
Book Description
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
Author: National Aeronautics and Space Administration (NASA) Publisher: Createspace Independent Publishing Platform ISBN: 9781721037605 Category : Languages : en Pages : 86
Book Description
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
Author: Brian J. Taylor Publisher: Springer Science & Business Media ISBN: 0387294856 Category : Computers Languages : en Pages : 280
Book Description
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.
Author: Laura L. Pullum Publisher: John Wiley & Sons ISBN: 047008457X Category : Computers Languages : en Pages : 146
Book Description
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.
Author: National Aeronautics and Space Administration (NASA) Publisher: Createspace Independent Publishing Platform ISBN: 9781722610753 Category : Languages : en Pages : 86
Book Description
The ultimate goal of this report was to integrate the powerful tools of artificial intelligence into the traditional process of software development. To maintain the US aerospace competitive advantage, traditional aerospace and software engineers need to more easily incorporate the technology of artificial intelligence into the advanced aerospace systems being designed today. The future goal was to transition artificial intelligence from an emerging technology to a standard technology that is considered early in the life cycle process to develop state-of-the-art aircraft automation systems. This report addressed the future goal in two ways. First, it provided a matrix that identified typical aircraft automation applications conducive to various artificial intelligence methods. The purpose of this matrix was to provide top-level guidance to managers contemplating the possible use of artificial intelligence in the development of aircraft automation. Second, the report provided a methodology to formally evaluate neural networks as part of the traditional process of software development. The matrix was developed by organizing the discipline of artificial intelligence into the following six methods: logical, object representation-based, distributed, uncertainty management, temporal and neurocomputing. Next, a study of existing aircraft automation applications that have been conducive to artificial intelligence implementation resulted in the following five categories: pilot-vehicle interface, system status and diagnosis, situation assessment, automatic flight planning, and aircraft flight control. The resulting matrix provided management guidance to understand artificial intelligence as it applied to aircraft automation. The approach taken to develop a methodology to formally evaluate neural networks as part of the software engineering life cycle was to start with the existing software quality assurance standards and to change these standards to include neural network dev...
Author: Publisher: ISBN: Category : Languages : en Pages : 200
Book Description
This chapter provides an overview of Artificial Intelligence (Al) technology, one of the more complex applications of digital systems. This chapter examines A1-based technology, focusing on three fields: neural networks, fuzzy' logic, and Expert Systems. This chapter provides the reader with the background and a basic understanding of the fundamental at those fields. Another section examines aspects of the Al development environment, including languages, tools, and AI-based hardware components. Some of the proposed aviation-related applications for both civil and military aircraft, including pilot assistants and diagnostic aids, are surveyed. Additionally, certification issues, including regulations, guidelines, and verification and validation techniques are examined. Human factors issues relating to the use of this technology are identified and reviewed. In addition, this chapter identifies safety issues and concerns over the use of this technology in airborne systems.
Author: Johann M.Ph. Schumann Publisher: Springer Science & Business Media ISBN: 3642106897 Category : Mathematics Languages : en Pages : 255
Book Description
"Applications of Neural Networks in High Assurance Systems" is the first book directly addressing a key part of neural network technology: methods used to pass the tough verification and validation (V&V) standards required in many safety-critical applications. The book presents what kinds of evaluation methods have been developed across many sectors, and how to pass the tests. A new adaptive structure of V&V is developed in this book, different from the simple six sigma methods usually used for large-scale systems and different from the theorem-based approach used for simplified component subsystems.
Author: National Aeronautics and Space Administration (NASA)
Author: 
Author: National Aeronautics and Space Administration (NASA)
Author: Brian J. Taylor
Author: Laura L. Pullum
Author: National Aeronautics and Space Administration (NASA)
Author: 
Author: Uma Bharathi Ramachandran
Author: L. Harrison
Author: 
Author: Johann M.Ph. Schumann