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
Inria Nancy - Grand Est, LORIA - AIS - Department of Complex Systems, Artificial Intelligence & Robotics
Résumé : 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.
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/hal-01098499
Contributor : François Charpillet <>
Submitted on : Thursday, December 25, 2014 - 8:03:08 PM
Last modification on : Tuesday, December 18, 2018 - 4:40:21 PM
Document(s) archivé(s) le : Thursday, March 26, 2015 - 10:10:31 AM

File

rts'96.paris.vf.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01098499, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

164

Files downloads

67