Skip to main content
  • Book
  • © 2006

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

Authors:

  • First book based on alternative standards
  • Includes risk and hazard analysis
  • Includes supplementary material: sn.pub/extras

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (10 chapters)

  1. Front Matter

    Pages i-xi
  2. Augmentation of Current Verification and Validation Practices

    • Kareem Ammar, Laura Pullum, Brian J. Taylor
    Pages 13-31
  3. Risk and Hazard Analysis for Neural Network Systems

    • Laura Pullum, Brian J. Taylor
    Pages 33-49
  4. Validation of Neural Networks Via Taxonomic Evaluation

    • Brian J. Taylor, James T. Smith
    Pages 51-95
  5. Stability Properties of Neural Networks

    • Edgar J. Fuller, Sampath K. Yerramalla, Bojan Cukic
    Pages 97-108
  6. Neural Network Verification

    • James T. Smith
    Pages 109-161
  7. Neural Network Visualization Techniques

    • Marjorie Darrah
    Pages 163-197
  8. Rule Extraction as a Formal Method

    • Marjorie Darrah, Brian J. Taylor
    Pages 199-227
  9. Run-Time Assessment of Neural Network Control Systems

    • Bojan Cukic, Edgar Fuller, Martin Mladenovski, Sampath Yerramalla
    Pages 257-269
  10. Back Matter

    Pages 270-277

About this book

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.

Authors and Affiliations

  • Institute for Scientific Research, Inc., Fairmont, USA

    Brian J. Taylor

Bibliographic Information

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access