Towards a design based on the user task of human interfaces in cockpit

This paper presents an approach to the construction of a task model of method, named TOOD (task object oriented design), used for the development of an interactive system. This approach is based on a formal notation, which gives quantitative results, which may be checked by designers on the models. The modelling formalism is based on the joint use of the object approach and of high-level Petri nets. The concepts borrowed from the object approach make it possible to describe the static aspect of tasks and the Petri nets enable the description of dynamics and behaviour. In order to facilitate comprehension of the method, an extremely simple example of procedure used in missile firing management is given