Verification and Validation of Complex Systems: Human Factors Issues

  • John A. Wise
  • V. David Hopkin
  • Paul Stager
Conference proceedings

Part of the NATO ASI Series book series (volume 110)

Table of contents

  1. Front Matter
    Pages I-6
  2. Perspectives on Verification and Validation

    1. Front Matter
      Pages 7-7
    2. Harold D. Foster
      Pages 35-60
    3. John A. Wise, Mark A. Wise
      Pages 87-95
  3. Developing Definitions and Approaches

  4. Complexity in a Systems Context

    1. Front Matter
      Pages 131-131
    2. David D. Woods, Nadine B. Sarter
      Pages 133-158
    3. William F. Stubler, Emilie M. Roth, Randall J. Mumaw
      Pages 159-172
    4. Peter A. Wieringa, Henk G. Stassen
      Pages 173-180
    5. Ragnar Rosness
      Pages 181-191
  5. Reliability, Errors, and Safety

  6. Operator Capabilities and Variability

    1. Front Matter
      Pages 279-279
    2. P. G. A. M. Jorna
      Pages 281-304
    3. A. F. Sanders, P. H. M. P. Roelofsma
      Pages 315-332
    4. Robert H. Logie
      Pages 341-353
  7. Mental Models in Operational Systems

  8. The Cultural Context

  9. Involving the Users in Verification and Validation Processes

  10. The Need for User Involvement

    1. Front Matter
      Pages 463-463
    2. Guy C. St. Sauveur
      Pages 475-479
    3. John Lane
      Pages 481-487
    4. J. Michael Tonner, Karen Kalmbach
      Pages 489-495
    5. Hans-Jürgen Bangen
      Pages 497-520
    6. Joseph Pitts, Phyllis Kayten, John Zalenchak III
      Pages 529-540
  11. Other Applications Contexts

About these proceedings


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.


complex system complex systems design information knowledge system system development testing tools validation verification

Editors and affiliations

  • John A. Wise
    • 1
  • V. David Hopkin
    • 2
  • Paul Stager
    • 3
  1. 1.Center for Aviation/Aerospace ResearchEmbry-Riddle Aeronautical UniversityDaytona BeachUSA
  2. 2.United Kingdom Civil Aviation AuthorityFarnborough, HampshireUK
  3. 3.Department of PsychologyYork UniversityTorontoCanada

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1993
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-642-08155-2
  • Online ISBN 978-3-662-02933-6
  • Buy this book on publisher's site