Table des matières

• Table des matières
• Liste des figures
• 1. L'architecture LAAS
  • 1.1 Organisation
    • 1.1.1 Le niveau décisionnel
    • 1.1.2 Le niveau exécutif
    • 1.1.3 Le niveau fonctionnel
  • 1.2 Structure des modules
  • 1.3 VxWorks
• 2. Les outils
  • 2.1 Kheops
    • 2.1.1 Présentation
    • 2.1.2 L'exécutif
  • 2.2 Propice
• 3. L'exécutif
  • 3.1 Présentation générale
  • 3.2 Les conflits et leur gestion
  • 3.3 L'arbre de décision
  • 3.4 Les réseaux de Petri
    • 3.4.1 La base de règles Kheops
    • 3.4.2 La boucle principale de l'exécutif
  • 3.5 Structuration de l'exécutif
  • 3.6 Synthèse automatique des règles
    • 3.6.1 Expression des conflits
    • 3.6.2 Analyse syntaxique des conflits
    • 3.6.3 Synthèse des règles
• A. Génération d'un module
  • A1. Déclaration du module
  • A2. Déclaration des requêtes
    • A2.1 Les requêtes de contrôle
    • A2.2 Les requêtes d'exécution
  • A3. Description des posters
    • A3.1 Données copiées de la SDIf
    • A3.2 Données ne transitant pas par la SDIf
  • A4. Description des tâches d'exécution
• B. Syntaxe Kheops
• C. Sources de l'exemple
  • C1. Règles Kheops non génériques
    • C1.1 Règles de stabilité
    • C1.2 Règles de démarrage
    • C1.3 Règles de terminaison
  • C2. Les source des programmes Lex & Yacc
    • C2.1 Le programme Lex : service_parser.lex
    • C2.2 Le programme Yacc : service_parser.y
• Références