Verification and Validation of Complex Systems: Human Factors Issues: Human Factors Issues (Nato ASI Subseries F) (Volume 110)

ISBN 10: 364208155X / ISBN 13: 9783642081552

Verlag: Springer, 2010

Beschreibung

In.

Bestandsnummer des Verkäufers ria9783642081552_new

Bibliografische Details

• Titel: Verification and Validation of Complex Systems: Human Factors Issues: Human Factors Issues (Nato ASI Subseries F) (Volume 110)
• Verlag: Springer
• Erscheinungsjahr: 2010
• Sprache: Englisch
• ISBN-10: 364208155X
• ISBN-13: 9783642081552
• Einband: Softcover
• Zustand: New

Über diesen Titel

Inhaltsangabe

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.

Reseña del editor

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.