Abstract FR:

Dans un univers melangeant a la fois gaz inflammable, air, equipements electroniques, il est primordial de surveiller attentivement l'environnement pour empecher tout accident. Dans le cadre concret de chacune des quatre experiences du lep (large electron positron collider) du cern a geneve, 1000 capteurs mesurent les parametres caracterisant l'environnement. Pour chacune de ces experiences, est installe un systeme expert qui est charge de diagnostiquer les eventuels problemes de securite et controler certains equipements. Cependant, le traitement en temps reel d'un nombre important de capteurs pose un certain nombre de problemes. En effet, l'efficacite d'un systeme en terme de rapidite se paie en general au prix d'une mauvaise lisibilite des programmes. Nous procedons donc par generation automatique, en utilisant un systeme expert de niveau evolue (niveau 2), pour generer un systeme expert de bas niveau (niveau o#+). Nous montrons que cette methodologie permet d'allier la lisibilite et la performance en terme de rapidite, ainsi que la genericite et la reutilisabilite. Or, l'ouverture d'un systeme temps reel vers l'exterieur necessite la prise en compte d'un parametre important pour l'homme: le temps. Nous expliquons les besoins temporels de notre application, et presentons un systeme de gestion du temps qui a permis d'incorporer des primitives temporelles dans le moteur d'inference de bas niveau. Ce systeme est base sur une representation non symbolique du temps et sur un raisonnement monotone et markovien. Nous proposons une definition mathematique de chacune des cinq primitives temporelles; cette definition a servi de base pour l'implantation. Les premiers resultats ont confirme le but espere: avoir un systeme expert temporel, donnant les memes temps de reponse que le systeme expert non temporel traitant le temps de maniere externe