Verification and Validation of Complex Systems: Human Factors Issues : Proceedings of the NATO Advanced Study Institute on Verification and Validation of Complex and Integrated Human-Machine Systems, held in Vimeiro, Portugal, July 6-17, 1992

John A. Wise

ISBN 10: 3540565744 / ISBN 13: 9783540565741

Edité par Springer, Berlin, Springer Berlin Heidelberg, Springer, 1993

A propos de cet article

Neuware - Despite its increasing importance, the verification andvalidation of the human-machine interface is perhaps themost overlooked aspect of system development. Although muchhas been written about the design and developmentprocess,very little organized information is available on how toverifyand validate highly complex and highly coupleddynamic systems. Inability toevaluate such systemsadequately may become the limiting factor in our ability toemploy systems that our technology and knowledge allow us todesign.This volume, based on a NATO Advanced Science Institute heldin 1992, is designed to provide guidance for theverification and validation of all highly complex andcoupled systems. Air traffic control isused an an exampleto ensure that the theory is described in terms that willallow its implementation, but the results can be applied toall complex and coupled systems.The volume presents the knowledge and theory ina formatthat will allow readers from a wide variety of backgroundsto apply it to the systems for which they are responsible.The emphasis is on domains where significant advances havebeen made in the methods of identifying potential problemsand in new testing methods and tools. Also emphasized aretechniques to identify the assumptions on which a system isbuilt and to spot their weaknesses.

N° de réf. du vendeur 9783540565741

Détails bibliographiques

• Titre: Verification and Validation of Complex Systems: Human Factors Issues : Proceedings of the NATO Advanced Study Institute on Verification and Validation of Complex and Integrated Human-Machine Systems, held in Vimeiro, Portugal, July 6-17, 1992
• Éditeur: Springer, Berlin, Springer Berlin Heidelberg, Springer
• Date de parution: 1993
• Langue: anglais
• ISBN à 10 chiffres: 3540565744
• ISBN à 13 chiffres: 9783540565741
• Reliure: Buch
• État de l'article: Neu

A propos de ce titre

Synopsis

As human-machine systems become more complex and tightly coupled, the need to verify and validate them before use becomes more urgent. This volume looks at the state of the art and identifies work that still needs to be done.