next up previous contents
Next: 3.2 Les conflits et Up: 3. L'exécutif Previous: 3. L'exécutif   Table des matières

3.1 Présentation générale

L'exécutif est une couche logicielle se trouvant, sur les robots mobiles et autres systèmes autonomes, dans l'architecture logicielle de contrôle du LAAS (figure 1.1, page [*]), entre le niveau décisionnel et le niveau fonctionnel, filtrant ainsi les informations envoyées de l'un vers l'autre.

Il assure la cohérence du système par le biais de la détection des conflits basée sur des règles, faisant intervenir des groupes de services incompatibles entre eux.

Ces règles s'appuient sur une stratégie définie afin de pouvoir mieux résoudre les conflits entre les services d'un même groupe - qui sont forcément incompatibles entre eux - et entre les services de groupes différents - qui peuvent aussi être incompatibles, mais en nombre limité.



L'exécutif ne connaissant pas à l'avance les services qui seront demandés, ni la tâche globale qui est déroulée par le niveau décisionnel, il est impératif que la détection des conflits se fasse en ligne et donc en temps réel.

Pour cela, il doit maintenir à jour un vecteur d'état du système - en fait un vecteur d'état du niveau fonctionnel - et intégrer dynamiquement tout évènement (les requêtes et les répliques) pouvant faire évoluer cet état.



La mise en \oeuvre de l'exécutif fait intervenir divers outils : Kheops, Propice et le langage de programmation C. Il peut être divisé en deux parties : une partie générique, identique quels que soient les services pour lesquels il fera office de filtre entre le niveau décisionnel et le niveau fonctionnel, et une partie non générique, dépendante des différents services et des stratégies de gestion des conflits. Cette seconde partie utilise les règles de gestions définies ci-après.


next up previous contents
Next: 3.2 Les conflits et Up: 3. L'exécutif Previous: 3. L'exécutif   Table des matières
Thomas Nemeth
1999-10-03