Introduction aux systèmes embarqués temps réel : conception et mise en oeuvre
"En analysant des systèmes simples et concrets, cet ouvrage présente tous les concepts nécessaires à la compréhension des systèmes embarqués : programmation séquentielle, interruptions matérielles, programmation cyclique, programmation multitâche, langages de spécification et modélisation, lang...
Enregistré dans:
| Auteurs principaux: | , , , |
|---|---|
| Format: | Livre papier |
| Langue: | Français |
| Publié: |
Malakoff :
Dunod
DL 2018.
|
| Collection: | Sciences Sup : sciences de l'ingénieur
|
| Sujets: | |
| Note: |
La couv. porte en plus : "cours, exercices corrigés, études de cas" Autre contributeur : Henri Bauer (auteur) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Introduction aux systèmes embarqués temps réel, conception et mise en oeuvre, Emmanuel Grolleau,... Jérôme Hugues,... Yassine Ouhammou,... [et al.], Malakoff, Dunod, 2018, 978-21-0078-668-8 |
| LEADER | 05662nam a22003617a 4500 | ||
|---|---|---|---|
| 001 | 693213 | ||
| 008 | 181114t20182018xxe ||| |||| 00| 0 fre d | ||
| 009 | PPN231645007 | ||
| 020 | |a 9782100778423 (br.) | ||
| 024 | |a 9782100778423 | ||
| 041 | 0 | |a fre | |
| 082 | |a 004.16 | ||
| 084 | |a 004 | ||
| 100 | 1 | |a Grolleau, Emmanuel, |d 1973- | |
| 245 | 1 | 0 | |a Introduction aux systèmes embarqués temps réel : |b conception et mise en oeuvre |c Emmanuel Grolleau,... Jérôme Hugues,... Yassine Ouhammou,... [et al.]. |
| 260 | |a Malakoff : |b Dunod, |c DL 2018. | ||
| 300 | |a 1 vol. (X-325 p.) : |b ill., couv. ill. ; |c 24 cm. | ||
| 490 | 0 | |a Sciences Sup : sciences de l'ingénieur | |
| 500 | |a La couv. porte en plus : "cours, exercices corrigés, études de cas" | ||
| 500 | |a Autre contributeur : Henri Bauer (auteur) | ||
| 504 | |a Index | ||
| 505 | 0 | |a P. 1 -- Préface -- Partie 1 -- P. 2 -- Introduction à la conception par l'exemple -- P. 3 -- Chapitre 1 Présentation du système exemple -- P. 3 -- 1. Montage expérimental -- P. 7 -- 2. Programme de contrôle -- P. 33 -- Chapitre 2 Programmation séquentielle -- P. 33 -- 1. État des lieux -- P. 41 -- 2. Spécification fonctionnelle du système -- P. 71 -- 3. Conception de l'architecture logicielle et matérielle -- P. 82 -- 4. Étude de l'exécution du système -- P. 84 -- Chapitre 3 Utilisation des interruptions matérielles -- P. 84 -- 1. Spécification formelle -- P. 89 -- 2. Implémentation par routine de traitement d'interruption -- P. 93 -- 3. Conception de l'architecture logicielle et matérielle -- P. 94 -- 4. Étude de l'exécution du système -- P. 95 -- Chapitre 4 Exécution cyclique -- P. 95 -- 1. Programmation -- P. 96 -- 2. Spécification du système -- P. 99 -- 3. Implémentation -- P. 101 -- Chapitre 5 Programmation multitâche -- P. 102 -- 1. Spécification et conception de l'architecture logicielle et matérielle -- P. 102 -- 2. Programmation -- P. 106 -- 3. Ordonnancement du système -- P. 108 -- Conclusion de la partie 1 -- P. 111 -- Entraînez-vous -- P. 114 -- Solutions -- Partie 2 -- P. 121 -- Les concepts présentés à travers une étude de cas détaillée -- P. 123 -- Chapitre 6 Spécification fonctionnelle -- P. 123 -- 1. Présentation de l'étude de cas -- P. 125 -- 2. Analyse opérationnelle -- P. 125 -- 3. Analyse système -- P. 128 -- 4. Analyse logique -- P. 132 -- 5. Spécification formelle par statecharts -- P. 142 -- Chapitre 7 Conception multitâche par la méthode des rythmes -- P. 143 -- 1. Durée d'exécution, période et charge processeur -- P. 146 -- 2. Du flot de données au multitâche -- P. 155 -- 3. Application de la méthode des rythmes au système de contrôle de la mine -- P. 159 -- Chapitre 8 Impacts d'un changement de spécification et tolérance aux fautes -- P. 160 -- 1. Erreur versus panne -- P. 162 -- 2. Activation par événement externe et chien de garde -- P. 169 -- Chapitre 9 Implémentation POSIX avec simulateur -- P. 169 -- 1. La norme POSIX 1003.1 -- P. 173 -- 2. AADL vers POSIX pthread -- P. 214 -- 3. Implémentation du système avec simulateur -- P. 228 -- Chapitre 10 Génération automatique de code depuis AADL -- P. 229 -- 1. Modélisation des données en AADL -- P. 232 -- 2. Modélisation des sous-programmes en AADL -- P. 233 -- 3. Modélisation des tâches et exécutif AADL -- P. 236 -- 4. Processus, système -- P. 236 -- 5. Cas d'étude d'un exécutif AADL : PolyORB-HI/C -- P. 241 -- Chapitre 11 Validation temporelle du système -- P. 241 -- 1. Calcul de pire durée d'exécution -- P. 246 -- 2. Ordonnancement à priorités fixes aux tâches -- P. 280 -- Chapitre 12 De la conception des systèmes à la conception des modèles : une utilisation avancée des modèles -- P. 281 -- 1. Ingénierie dirigée par les modèles -- P. 283 -- 2. Modélisation et méta-modélisation -- P. 291 -- 3. Langages de modélisation dédiés -- P. 294 -- 4. Transformation de modèles et génération de code -- P. 296 -- 5. Transformation modèle vers modèle -- P. 302 -- 6. Transformation modèle vers texte -- P. 310 -- Entraînez-vous -- P. 315 -- Solutions -- P. 321 -- Index | |
| 520 | |a "En analysant des systèmes simples et concrets, cet ouvrage présente tous les concepts nécessaires à la compréhension des systèmes embarqués : programmation séquentielle, interruptions matérielles, programmation cyclique, programmation multitâche, langages de spécification et modélisation, langages spécifiques de domaine, implémentation sur exécutif temps réel et validation temporelle. La première partie part d'un exemple simple de système pour introduire les concepts et les méthodes, et la seconde propose des études de cas concrets avant de s'attacher aux apports de l'ingénierie dirigée par les modèles.". [Cit. 4e de couv.] | ||
| 521 | |a IUT, Master, Écoles d'ingénieurs | ||
| 650 | |a Systèmes embarqués (informatique) | ||
| 650 | |a Commande en temps réel | ||
| 650 | |a Temps réel (informatique) | ||
| 650 | |a Manuels d'enseignement supérieur | ||
| 700 | 1 | |a Hugues, Jérôme, |d 1978- |4 aut | |
| 700 | 1 | |a Ouhammou, Yassine. |4 aut | |
| 700 | 1 | |a Bauer, Henri, |d 1983- |4 aut | |
| 776 | 0 | |0 233360972 |t Introduction aux systèmes embarqués temps réel |o conception et mise en oeuvre |f Emmanuel Grolleau,... Jérôme Hugues,... Yassine Ouhammou,... [et al.] |c Malakoff |n Dunod |d 2018 |z 978-21-0078-668-8 | |
| 997 | |0 693213 |1 Livre papier |a Ressource papier |b INSA |b INSA |c 0/Blois/ |c 0/Bourges/ |c 0/Orléans/ |c 1/Blois/INSA CVL/ |c 1/Bourges/INSA CVL/ |c 1/Orléans/BU Sciences, Technologies, STAPS/ |z Orléans, BU Sciences, Technologies, STAPS, 629.89 INT |z Blois, INSA CVL, 629.8 GRO |z Bourges, INSA CVL, 629.89 GRO | ||