Next:
#1
Table des matières
1]
#1
Avant Propos
Table des matières
Liste des figures
Introduction
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
Conclusion
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
À propos de ce document...
Next:
#1
Table des matières
Thomas Nemeth
1999-10-03
