Skip to main content
SpringerLink
Log in

Verification and Validation of Complex Systems: Human Factors Issues

  • Conference proceedings
  • © 1993

Overview

Editors:
  1. John A. Wise

    1. Center for Aviation/Aerospace Research, Embry-Riddle Aeronautical University, Daytona Beach, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. V. David Hopkin

    1. United Kingdom Civil Aviation Authority, Farnborough, Hampshire, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Paul Stager

    1. Department of Psychology, York University, Toronto, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: NATO ASI Subseries F: (NATO ASI F, volume 110)

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

Access this book

Log in via an institution
eBook USD 259.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 329.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 329.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

Licence this eBook for your library

Institutional subscriptions

Table of contents (51 papers)

  1. Front Matter

    Pages I-6
    Download chapter PDF

  2. Perspectives on Verification and Validation

    1. Front Matter

      Pages 7-7
      Download chapter PDF

    2. Verification and Validation: Concepts, Issues, and Applications

      • V. David Hopkin
      Pages 9-33

    3. Resilience Theory and System Evaluation

      • Harold D. Foster
      Pages 35-60

    4. On The Future Of Hybrid Human-Machine Systems

      • P. A. Hancock
      Pages 61-85

    5. Basic Considerations in Verification and Validation

      • John A. Wise, Mark A. Wise
      Pages 87-95

  3. Developing Definitions and Approaches

    1. Front Matter

      Pages 97-97
      Download chapter PDF

    2. Validation in Complex Systems: Behavioral Issues

      • Paul Stager
      Pages 99-114

    3. Defining Human-Centered System Issues for Verifying and Validating Air Traffic Control Systems

      • Kelly Harwood
      Pages 115-129

  4. Complexity in a Systems Context

    1. Front Matter

      Pages 131-131
      Download chapter PDF

    2. Evaluating the Impact of New Technology on Human-Machine Cooperation

      • David D. Woods, Nadine B. Sarter
      Pages 133-158

    3. Integrating Verification and Validation with the Design of Complex Man-Machine Systems

      • William F. Stubler, Emilie M. Roth, Randall J. Mumaw
      Pages 159-172

    4. Assessment of Complexity

      • Peter A. Wieringa, Henk G. Stassen
      Pages 173-180

    5. Limits to Analysis and Verification

      • Ragnar Rosness
      Pages 181-191

    6. The Validation and Verification of Complex Knowledge-Based Systems

      • Robert T. Plant
      Pages 193-202
Back to top

Keywords

About this book

Despite its increasing importance, the verification and validation of the human-machine interface is perhaps the most overlooked aspect of system development. Although much has been written about the design and developmentprocess, very little organized information is available on how to verifyand validate highly complex and highly coupled dynamic systems. Inability toevaluate such systems adequately may become the limiting factor in our ability to employ systems that our technology and knowledge allow us to design. This volume, based on a NATO Advanced Science Institute held in 1992, is designed to provide guidance for the verification and validation of all highly complex and coupled systems. Air traffic control isused an an example to ensure that the theory is described in terms that will allow its implementation, but the results can be applied to all complex and coupled systems. The volume presents the knowledge and theory ina format that will allow readers from a wide variety of backgrounds to apply it to the systems for which they are responsible. The emphasis is on domains where significant advances have been made in the methods of identifying potential problems and in new testing methods and tools. Also emphasized are techniques to identify the assumptions on which a system is built and to spot their weaknesses.

Editors and Affiliations

  • Center for Aviation/Aerospace Research, Embry-Riddle Aeronautical University, Daytona Beach, USA

    John A. Wise

  • United Kingdom Civil Aviation Authority, Farnborough, Hampshire, UK

    V. David Hopkin

  • Department of Psychology, York University, Toronto, Canada

    Paul Stager

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation