Guidance for the Verification and Validation of Neural Networks

Laura L. Pullum, Brian J. Taylor, Marjorie A. Darrah

  • 出版商: IEEE
  • 出版日期: 2007-03-09
  • 定價: $2,450
  • 售價: 8.5$2,083
  • 語言: 英文
  • 頁數: 133
  • 裝訂: Paperback
  • ISBN: 047008457X
  • ISBN-13: 9780470084571
  • 相關分類: 人工智慧軟體工程軟體測試
  • 立即出貨 (庫存 < 3)

買這商品的人也買了...

商品描述

Description:
 
Guidance for the Verification and Validation of Neural Networks is a supplement to the IEEE Standard for Software Verification and Validation, IEEE Std 1012-1998. Born out of a need by the National Aeronautics and Space Administration's safety- and mission-critical research, this book compiles over five years of applied research and development efforts. It is intended to assist the performance of verification and validation (V&V) activities on adaptive software systems, with emphasis given to neural network systems. The book discusses some of the difficulties with trying to assure adaptive systems in general, presents techniques and advice for the V&V practitioner confronted with such a task, and based on a neural network case study, identifies specific tasking and recommendations for the V&V of neural network systems.

"As the demand for developing and assuring adaptive systems grows, this guidebook will provide practitioners with the insight and practical steps for verifying and validating neural networks. The work of the authors is a great step forward, offering a level of practical experience and advice for the software developers, assurance personnel, and those performing verification and validation of adaptive systems. This guide makes possible the daunting task of assuring this new technology. NASA is proud to sponsor such a realistic approach to what many might think a very futuristic subject. But adaptive systems with neural networks are here today and as the NASA Manager for Software Assurance and Safety, I believe this work by the authors will be a great resource for the systems we are building today and into tomorrow."
-Martha S. Wetherholt, NASA Manager of Software Assurance and Software Safety NASA Headquarters, Office of Safety & Mission Assurance
 
Table of contents:
 
Preface.

Acknowledgements.

1 Overview.

1.1 Definitions and Conventions.

1.2 Organization of the Book.

2 Areas of Consideration for Adaptive Systems.

2.1 Safety-Critical Adaptive System Example and Experience.

2.2 Hazard Analysis.

2.3 Requirements for Adaptive Systems.

2.4 Rule Extraction.

2.5 Modified Life Cycle for Developing Neural Networks.

2.6 Operational Monitors.

2.7 Testing Considerations.

2.8 Training Set Analysis.

2.9 Stability Analysis

2.10 Configuration Management of Neural Network Training and Design.

2.11 Simulation of Adaptive Systems.

2.12 Neural Network Visualization.

2.13 Adaptive System and Neural Network Selection.

3 Verification and Validation of Neural Networks—Guidance.

3.1 Process: Management.

3.2 Process: Acquisition.

3.3 Process: Supply.

3.4 Process: Development.

3.5 Process: Operation.

3.6 Process: Maintenance.

4 Recent Changes to IEEE Std 1012.

Appendix A: References.

Appendix B: Acronyms.

Appendix C: Definitions.

商品描述(中文翻譯)

描述:

 


《神經網絡的驗證和驗證指南》是IEEE軟件驗證和驗證標準(IEEE Std 1012-1998)的補充。這本書是美國國家航空航天局(NASA)安全和任務關鍵研究的需求而產生的,綜合了五年的應用研究和開發工作。它旨在幫助進行自適應軟件系統的驗證和驗證(V&V)活動,特別是神經網絡系統。本書討論了一般情況下確保自適應系統的一些困難,提供了面對此任務的V&V從業人員的技巧和建議,並根據神經網絡案例研究,確定了神經網絡系統的具體任務和建議。



“隨著開發和確保自適應系統的需求增加,這本指南將為從業人員提供驗證和驗證神經網絡的洞察和實際步驟。作者的工作是一個重要的進步,為軟件開發人員、保證人員以及執行自適應系統的驗證和驗證的人員提供了實際經驗和建議。這本指南使得確保這項新技術成為可能。作為NASA軟件保證和軟件安全的經理,我相信作者的這項工作將成為我們今天和未來正在建立的系統的重要資源。”

- Martha S. Wetherholt,NASA軟件保證和軟件安全經理,NASA總部,安全和任務保證辦公室

 

目錄:

 


前言。

致謝。

1 概述。

1.1 定義和慣例。

1.2 本書組織。

2 自適應系統的考慮領域。

2.1 安全關鍵自適應系統的示例和經驗。

2.2 危害分析。

2.3 自適應系統的需求。

2.4 規則提取。

2.5 開發神經網絡的修改生命周期。

2.6 運行監控。

2.7 測試考慮。