thesis

Contribution de l'informatique à la sûreté de fonctionnement d'un système socio-technique : le cas de la maintenance en ligne des systèmes de contrôle de la navigation aérienne

Defense date:

Jan. 1, 1997

Edit

Institution:

Toulouse, INPT

Disciplines:

Authors:

Directors:

Abstract EN:

Pas de résumé disponible.

Abstract FR:

Dans les systemes homme-machine, les erreurs de l'operateur representent une source importante des defaillances des systemes. Par consequent, le composant humain doit etre pris en compte dans le developpement de ces systemes. Les methodes de prevention habituellement utilisees et qui consistent a eliminer l'occurence des erreurs de l'operateur s'averent insuffisantes. Les travaux presentes dans ce memoire ont pour but de definir une strategie de la tolerance aux erreurs de l'operateur. Elle vise a tolerer l'occurence des erreurs de l'operateur, mais a eviter leurs consequences indesirables. Ce memoire presente tout d'abord les techniques existantes de prevention, et de tolerance des erreurs de l'operateur. Nous proposons ensuite une methode de detection des erreurs de l'operateur par l'interface homme-machine qui constitue une part importante dans la mise en uvre de la tolerance aux erreurs. Cette methode est basee sur la reconnaissance et la verification des plans executes par l'operateur lors de ses activites au sein d'un systeme socio-technique. Pour cela, nous proposons une methode de representation de plans, adaptee du formalisme mad (methode analytique de description), qui permet d'exprimer les liens entre les plans et les actions de l'operateur. La representation de plans choisie permet de faciliter la mise en uvre de mecanismes de detection qui s'attachent a verifier que les actions sont, d'une part, coherentes entre elles, et d'autre part, pertinentes avec l'evolution de l'etat du systeme technique avec lequel l'operateur interagit. S'appuyant sur ces mecanismes, une architecture d'interface tolerante aux erreurs de l'operateur est proposee. La methode de detection proposee est ensuite appliquee au domaine de la maintenance en ligne d'un systeme de controle de la navigation aerienne. Enfin, ces travaux sont concretises par le developpement d'une maquette permettant non seulement de les valider, mais aussi d'en estimer l'efficacite et l'applicabilite.