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.
Type de document :
Communication dans un congrès
International Conference on Real-Time Systems (RTS'96), 1996, Paris, France. 1996
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01098499
Contributeur : François Charpillet <>
Soumis le : jeudi 25 décembre 2014 - 20:03:08
Dernière modification le : lundi 9 avril 2018 - 14:24:01
Document(s) archivé(s) le : jeudi 26 mars 2015 - 10:10:31

Fichier

rts'96.paris.vf.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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. 1996. 〈hal-01098499〉

Partager

Métriques

Consultations de la notice

152

Téléchargements de fichiers

59