Systemes temps reel de controle-commande : Conception et implementation

Table des Matières......Page 4
Avant- Propos......Page 6
 1.1 Introduction......Page 10
 1.2 Architecture des applications de contrôle- commande......Page 16
 1.3 Développement des applications de contrôle- commande......Page 27
 2.1 Introduction générale à la méthode SA- RT......Page 36
 2.2 Présentation de la syntaxe graphique de la méthode SA- RT......Page 39
 2.3 Les diagrammes flot de données......Page 45
 2.4 L'aspect contrôle de la méthode SA- RT......Page 50
 2.5 Spécification des processus primitifs......Page 58
 2.6 Spécification des données......Page 60
 2.7 Organisation générale de la méthode SA- RT......Page 63
 2.8 Exemples......Page 65
 2.9 Extensions de la méthode SA- RT......Page 79
 3.1 Introduction......Page 90
 3.2 Présentation de la méthode DARTS......Page 94
 3.3 Exemples de conception avec la méthode DARTS......Page 111
 4.1 Architecture matérielle......Page 118
 4.2 Architecture logicielle......Page 147
 4.3 Réseaux et bus de terrain......Page 169
 5.1 Introduction......Page 190
 5.2 Concepts des exécutifs temps réel......Page 193
 5.3 Principales normes temps réel......Page 218
 5.4 Exemples d'exécutifs temps réel......Page 239
 6.1 Programmation C, Ada et LabVIEW......Page 254
 6.2 Programmation multitâche en langage C......Page 294
 6.3 Programmation multitâche en langage Ada......Page 323
 6.4 Programmation multitâche en langage LabVIEW......Page 340
 7.1 Cahier des charges......Page 350
 7.2 Spécification......Page 351
 7.3 Conception......Page 359
 7.4 Implémentation sur simulateur......Page 363
 7.5 Spécification et conception adaptées......Page 397
 7.6 Implémentation de la commande réelle......Page 403
 7.7 Conclusion......Page 414
 8.1 Introduction......Page 416
 8.2 Modélisation des tâches......Page 418
 8.3 Ordonnancement des tâches indépendantes périodiques......Page 440
 8.4 Ordonnancement des tâches indépendantes apériodiques......Page 456
 8.5 Ordonnancement des tâches périodiques dépendantes......Page 472
 8.6 Analyse d'ordonnançabilité en environnement monoprocesseur......Page 490
 8.7 Ordonnancement en environnement multiprocesseur......Page 500
 A - Représentation de l'information......Page 522
 B - Standards POSIX......Page 528
 C - Module de boîtes aux lettres POSIX......Page 532
 D - Module de communication Ada......Page 542
 Bibliographie......Page 548
 Lexique anglais - français......Page 550
 Sigles......Page 555
 Index......Page 560