FORMAL DEFINITION OF DEVIATIONS IN PILOTING
ACTIVITIES
Sophie Sadok
ONERA - DCSD
BA 701 Ecole de l’Air
13661 SALON AIR
sophie.sadok@onera.fr
Eugene Chouraqui
LSIS
Domaine Universitaire de Saint J´erˆome
Avenue Escadrille Normandie-Niemen
13397 Marseille Cedex 20
eugene.chouraqui@lsis.org
Nicolas Maille
ONERA - DCSD
BA 701 Ecole de l’Air
13661 SALON AIR
nicolas.maille@onera.fr
Key words : Artificial Intelligence, modeling, tem-
poral logic, lattice, deviation.
Abstract : This article is part of an experience feed-
back project for the improvement of flight’s security.
The work primarily consists in the development of a
description language of pilot’s activity, which would
allow the modeling of piloting missions. Thus with
this language, we want to compare a reference activ-
ity (the envisaged mission) and a real activity (the
actual mission). To do so, a calculus operator was
created that could express any deviations between
two language descriptions.
In order to interpret this result and with the aim of
a systematic flight analysis, we established a simple
deviation typology between two piloting activities.
As a result we obtain an unequivocal correspondence
between a simple deviation and its typology interpre-
tation.
1 Introduction
Despite the reliability of the flight trac, the im-
provement of flight safety remains an important pre-
occupation for all the aeronautical community. In
this context flight companies, constructors, civil and
military authorities define and put into place more ef-
ficient experience feedback projects. The role of the
first line actors is an essential security part and the
aeronautical community admits the need for meth-
ods to describe and analyze the interactions between
1
.....