Abstract
The following paper relates how verification and validation problems are taken into account throughout a cognitive engineering project in air traffic control, the Erato project. The aim of Erato is to specify, design, and evaluate the computer components of a complex man-machine system, the air traffic control system, so as to optimize the global productivity of this joint system. Demands on air traffic are rapidly increasing, while the present ATC system is already overloaded. Within the next 20 or 30 years we cannot expect a fully automated ATC system, so that air traffic controllers will necessarily remain a major element in the control system. Thus we have to imagine specific means of allowing them to face this short to middle term situation. These tools will enhance the global performance of the ATC system by significantly increasing its capacity and by improving both safety and quality of control decision. They will enable a safe, expeditious and efficient operation of more aircraft than now, while better serving user requests. It is now obvious that the capability to build more powerful machines does not in itself guarantee effective performance of the joint man-machine system. The central question is then how to “couple” human intelligence and machine power in a single integrated system that maximizes overall performance. So we are not concerned only with the validation of these computer components, but also with the verification of the joint man-machine system.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Hopkin, V. D. (1993). Verification and validation: Concepts, issues and application. In J. A. Wise, V. D. Hopkin, P. Stager (Eds.), Verification and Validation of Complex Systems: Human Factors Issues. NATO ASI Series F, Vol. 110. Berlin: Springer-Verlag, pp. 9–33 (this volume).
Laprie, J. C. (1987). Dependable computing and fault tolerance at LAAS: A summary. In A. Avizienis, H. Kopetz, J. C. Laprie (Eds.), The Evolution of Fault-Tolerant Computing. Vienna, New York: Springer-Verlag.
Leroux, M. (1991a). Informal presentation of the logics used in Erato. Note C.E.N.A. N91506.
Leroux, M. (1991b). Erato (en route air traffic organizer). Sixth International Symposium on Aviation Psychology, Columbus, OH.
Leroux, M. (1992a). Cognitive engineering applied to air traffic control. Note C.E.N.A. N91509.
Leroux, M. (1992b). Erato rapport de synthèse. Rapport C.E.N.A. R91507.
Reason, J. (1993). The identification of latent organizational failures in complex systems. In this volume, (pp. 223–237 ).
Reiter, R. (1985). On reasoning by default. In R. J. Brachman H. J. Levesque (Eds.), Readings in knowledge representation. Morgan Kaufman Pub.
Reiter, R., Criscuolo. (1983). Some representational issues in default reasoning. J. Comput. Math. Appl. 9: 1–13 (Special issue on computational linguistics).
Spérandio, J. C. (1969). Charge de travail et mémorisation en contrôl d’approche. Rapport IRIA CO 7009R24.
Spérandio, J. C. (1974). Compléments à l’étude de la mémoire opérationnelle des contrôleurs de la navigation aérienne. Rapport TRIA CO 7403R42.
Woods, D. D. (1988). Commentary: Cognitive engineering in complex dynamic worlds. In Hollnagel, Mancini, Woods (Eds.), Cognitive Engineering in Complex Dynamic Worlds. London: Academic Press, Computers, and People series.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Leroux, M. (1993). The Role of Verification and Validation in the Design Process of Knowledge Based Components of Air Traffic Control Systems. In: Wise, J.A., Hopkin, V.D., Stager, P. (eds) Verification and Validation of Complex Systems: Human Factors Issues. NATO ASI Series, vol 110. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-02933-6_22
Download citation
DOI: https://doi.org/10.1007/978-3-662-02933-6_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-08155-2
Online ISBN: 978-3-662-02933-6
eBook Packages: Springer Book Archive