In recent years, increases in the amount and changes in the distribution of air traffic have been very dramatic and are continuing. The need for changes in the current air traffic systems is equally clear. While automation is generally accepted as a method of improving system safety and performance, high levels of automation in complex human-machine systems can have a negative effect on total system performance and have been identified as contributing factors in many accidents and failures. Those responsible for designing the advanced air traffic control systems to be implemented throughout the alliance during the next decade need to be aware of recent progress concerning the most effective application of automation and artificial intelligence in human-computer systems. This volume gives the proceedings of the NATO Advanced Study Institute held in Maratea, Italy, June 18-29, 1990, at which these issues were discussed.

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.

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.

A complete examination of issues and concepts relating to human factors in simulation, this book covers theory and application in space, ships, submarines, naval aviation, and commercial aviation. The authors examine issues of simulation and their effect on the validity and functionality of simulators as a training device. The chapters contain in depth discussions of these particular characteristics and issues. They also incorporate theories pertaining to the motivational aspects of training, simulation of social events, and PC based simulation.