Scheduling in the REAKT kernel : combining predictable and unbounded computations for maximising solution quality in real-time knowledge-based systems

A Mensch , François Charpillet (1)

1 MAIA - Autonomous intelligent machine

Résumé : La complexité croissante des applications temps réel a renouvelé l'intérêt porté aux techniques de l'Intelligence Artificielle dans ce domaine. Cet article présente le Noyau d'Exécution REAKT, un environnement logiciel adapté aux besoins des applications temps réel à base de connaissances, et en particulier les techniques d'ordonnancement utilisées pour faciliter l'exécution conjointe de traitements déterministes et non déterministes tout en garantissant les temps de réponse. Les techniques utilisées reposent sur le principe de raisonnement progressif, une approche qui permet à une application d'obtenir rapidement une première solution, puis de l'affiner tant que le temps disponible le permet. Un modèle de tâches est proposé pour permettre l'intégration aisée d'actions reflexes et de raisonnements complexes. Un algorithme permettant de maximiser le temps disponible pour les traitements complexes non déterministes tout en garantissant les temps de réponse des tâches temps réel. Cet algorithme fournit une réponse au problème d'ordonnancement joint de tâches périodiques, sporadiques et optionnelles. Mots-clés : Systèmes temps réel à base de connaissances, ordonnancement.

Domaines: Informatique [cs]; Intelligence artificielle [cs.AI]

A Mensch, François Charpillet. Scheduling in the REAKT kernel : combining predictable and unbounded computations for maximising solution quality in real-time knowledge-based systems. International Conference on Real-Time Systems (RTS'96), 1996, Paris, France. ⟨hal-01098499⟩