| Titre : | Systèmes temps réel embarqués : spécification, conception, implémentation et validation temporelle |
| Type de document : | Monographie imprimée |
| Mention d'édition : | 2e éd. |
| Editeur : | Paris : Dunod, DL 2014 |
| Collection : | Collection Technique & ingénierie. Automatique et réseaux, ISSN 2276-0342 |
| Sous-collection : | Automatique et réseaux |
| ISBN/ISSN/EAN : | 978-2-10-071331-8 |
| Format : | 1 vol. (XI-626 p.) / ill. / 24 cm |
| Note générale : | Index |
| Langues: | Français |
| Index. décimale : | 004.33 (Temps réel) |
| Catégories : |
[Agneaux] Temps réel (informatique) |
| Résumé : |
Cet ouvrage présente une méthodologie complète et opérationnelle de développement des systèmes temps réel de contrôle-commande. Il permet au lecteur de :
connaître et mettre en oeuvre les méthodes de spécification et de conception ; définir et paramétrer l'environnement d'exécution des systèmes ; réaliser l'implémentation multitâche basée sur un noyau temps réel ; développer l'application en C, Ada ou LabVIEW . L'ouvrage fait également le point sur les dernières avancées dans le domaine des systèmes temps réel multitâches. De nombreux exemples industriels sont traités, permettant de comprendre puis de mettre en oeuvre les principes de cette méthodologie de développement. Ce livre s'adresse à tous les ingénieurs ou techniciens concepteurs d'applications temps réel de contrôle-commande de procédés industriels. Il est également destiné aux étudiants en informatique industrielle. |
| Sommaire : |
Avant-propos IX
Chapitre 1 : Le développement des systèmes embarqués temps réel 1 1.1 Introduction 1 1.2 Architecture des applications temps réel 9 1.3 Développement des applications de contrôle-commande 20 Chapitre 2 : La spécification fonctionnelle 33 2.1 Introduction générale aux méthodes d’analyse fonctionnelle 33 2.2 Les langages de modélisation « à la UML » 37 2.3 Modélisation des flots de données 40 2.4 Modélisation statique du flot de contrôle 55 2.5 Modélisation de l’aspect comportemental du processus de contrôle 61 2.6 Modélisation de l’aspect comportemental des processus fonctionnels 71 2.7 Modélisation des données 78 2.8 Organisation générale de la méthode SA-RT en SysML 84 2.9 Exemples 89 Chapitre 3 : La conception à l’aide d’AADL 107 3.1 Introduction 107 3.2 Présentation du langage AADL 112 3.3 Exemples de conception à l’aide d’AADL 130 9782100713318-Livre.indb 5 23/09/14 17:21 VI Systèmes temps réel embarqués © Dunod - Toute reproduction non autorisée est un délit. Chapitre 4 : Architectures matérielles et système d’exploitation 137 4.1 Architecture matérielle 137 4.2 Architecture logicielle 171 4.3 Réseaux et bus de terrain 197 Chapitre 5 : Les exécutifs temps réel 223 5.1 Introduction 223 5.2 Concepts des exécutifs temps réel 226 5.3 Principales normes temps réel 255 5.4 Exemples d’exécutifs temps réel 279 Chapitre 6 : Programmation des systèmes multitâches 295 6.1 Programmation C, Ada et LabVIEW 295 6.2 Programmation multitâche en langage C 341 6.3 Programmation multitâche en langage Ada 375 6.4 Programmation multitâche en LabVIEW 398 Chapitre 7 : Traitement complet d’une application industrielle 413 7.1 Cahier des charges 413 7.2 Spécification 415 7.3 Conception 422 7.4 Implémentation sur simulateur 425 7.5 Spécification et conception adaptées 461 7.6 Implémentation de la commande réelle 467 7.7 Conclusion 478 Chapitre 8 : Étude avancée des systèmes informatiques multitâches et temps réel 479 8.1 Introduction 479 8.2 Modélisation des tâches 485 8.3 Ordonnancement de tâches indépendantes 505 8.4 Ordonnancement des tâches indépendantes apériodiques 530 9782100713318-Livre.indb 6 23/09/14 17:21 Table des matières VII © Dunod - Toute reproduction non autorisée est un délit. 8.5 Ordonnancement des tâches périodiques dépendantes 546 8.6 Ordonnancement en environnement multicœur 571 8.7 Ordonnancement dans les systèmes distribués 582 Annexes Annexe A : Représentation de l’information 597 A.1 Représentation binaire des entiers signés 597 A.2 Représentation des nombres fractionnaires 599 Annexe B : Module de boîtes aux lettres POSIX 605 Annexe C : Module générique de gestion de files bornées de messages en Ada 607 C.1 En-tête de module 607 C.2 Corps de module 608 Annexe D : Module de communication Ada 609 D.1 Spécification de module 609 D.2 Corps de module 611 Index 615 Chapitre 1 : Le développement des systèmes embarqués temps réel Chapitre 2 : La spécification fonctionnelle Chapitre 3 : La conception à l'aide d'AADL Chapitre 4 : Architectures matérielles et système d'exploitation Chapitre 5 : Les exécutifs temps réel Chapitre 6 : Programmation des systèmes multitâches Chapitre 7 : Traitement complet d'une application industrielle Chapitre 8 : Étude avancée des systèmes informatiques multitâches et temps réel Annexes Annexe A : Représentation de l'information Annexe B : Module de boîtes aux lettres POSIX Annexe C : Module générique de gestion de files bornées de messages en Ada Annexe D : Module de communication Ada |
Disponibilité (3)
| Cote | Support | Localisation | Statut | Emplacement | |
|---|---|---|---|---|---|
| SI8/2971 | Livre | BIB.FAC.ST. | Empruntable | Magazin | |
| SI8/2971 | Livre | BIB.FAC.ST. | Empruntable | Magazin | |
| SI8/2971 | Livre | BIB.FAC.ST. | Empruntable | Magazin |
Erreur sur le template
