Le projet SATURNE a été développé avec le soutien de la DRET.
Les prochaines générations de systèmes embarqués devront concilier deux propriétés généralement contradictoires : d'une part réagir en "temps réel" aux sollicitations de l'environnement, et d'autre part échafauder des raisonnements évolués pour répondre à ces sollicitations. Le projet SATURNE propose une approche "multi-agents" des systèmes temps réel, reposant sur les concepts de noyaux réactifs synchrones et de tâches interruptibles. L'objectif est de concilier IA et temps réel, et plus généralement d'offrir un cadre formel pour la modélisation de systèmes complexes temps réel, adaptatifs aux échéances, et prédictibles. Une validation du modèle a été entreprise sur l'application du Copilote Electronique (Dassault-Aviation).
Mots clés : systèmes temps-réel et réactifs, langages synchrones, algorithmique interruptible.
Projet SATURNE
CERT-ONERA
Département d'Etudes et
de Recherches en Informatique
2, avenue E. Belin BP 4025 - 31055
Toulouse CEDEX
(retour au Département Informatique du CERT-ONERA)