Nantilus
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 |
| Langue : | français |
| Titre complet : | Introduction aux systèmes embarqués temps réel : conception et mise en oeuvre / Emmanuel Grolleau,... Jérôme Hugues,... Yassine Ouhammou,... [et al.] |
| Publié : |
Malakoff :
Dunod
, DL 2018 |
| Description matérielle : | 1 vol. (X-325 p.) |
| Collection : | Sciences sup |
| Sujets : | |
| Documents associés : | Autre format:
Introduction aux systèmes embarqués temps réel |
| LEADER | 06321cam a2200601 4500 | ||
|---|---|---|---|
| 001 | PPN231645007 | ||
| 003 | http://www.sudoc.fr/231645007 | ||
| 005 | 20240603105100.0 | ||
| 010 | |a 978-2-10-077842-3 |b br. | ||
| 035 | |a (OCoLC)1066147633 | ||
| 035 | |a FRBNF456085200000006 |z FRBNF45608520 | ||
| 073 | 1 | |a 9782100778423 | |
| 100 | |a 20181114h20182018k y0frey0103 ba | ||
| 101 | 0 | |a fre |2 639-2 | |
| 102 | |a FR | ||
| 105 | |a a a 001yy | ||
| 106 | |a r | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c n |2 rdamedia | ||
| 182 | 1 | |6 z01 |a n | |
| 183 | 1 | |6 z01 |a nga |2 RDAfrCarrier | |
| 200 | 1 | |a Introduction aux systèmes embarqués temps réel |e conception et mise en oeuvre |f Emmanuel Grolleau,... Jérôme Hugues,... Yassine Ouhammou,... [et al.] | |
| 214 | 0 | |a Malakoff |c Dunod |d DL 2018 | |
| 215 | |a 1 vol. (X-325 p.) |c ill., couv. ill. |d 24 cm | ||
| 225 | 0 | |a Sciences Sup |e sciences de l'ingénieur | |
| 339 | |a Un ouvrage en deux parties qui présente les notions essentielles à la compréhension des systèmes embarqués puis propose des études de cas concrets et une introduction aux apports de l'ingénierie dirigée par les modèles. ©Electre 2018 | ||
| 312 | |a La couv. porte en plus : "cours, exercices corrigés, études de cas" | ||
| 314 | |a Autre contributeur : Henri Bauer (auteur) | ||
| 320 | |a Index | ||
| 330 | |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.] | ||
| 333 | |a IUT, Master, Écoles d'ingénieurs | ||
| 359 | 2 | |p P. 1 |b Préface |b Partie 1 |p P. 2 |b Introduction à la conception par l'exemple |p P. 3 |c Chapitre 1 Présentation du système exemple |p P. 3 |d 1. Montage expérimental |p P. 7 |d 2. Programme de contrôle |p P. 33 |c Chapitre 2 Programmation séquentielle |p P. 33 |d 1. État des lieux |p P. 41 |d 2. Spécification fonctionnelle du système |p P. 71 |d 3. Conception de l'architecture logicielle et matérielle |p P. 82 |d 4. Étude de l'exécution du système |p P. 84 |c Chapitre 3 Utilisation des interruptions matérielles |p P. 84 |d 1. Spécification formelle |p P. 89 |d 2. Implémentation par routine de traitement d'interruption |p P. 93 |d 3. Conception de l'architecture logicielle et matérielle |p P. 94 |d 4. Étude de l'exécution du système |p P. 95 |c Chapitre 4 Exécution cyclique |p P. 95 |d 1. Programmation |p P. 96 |d 2. Spécification du système |p P. 99 |d 3. Implémentation |p P. 101 |c Chapitre 5 Programmation multitâche |p P. 102 |d 1. Spécification et conception de l'architecture logicielle et matérielle |p P. 102 |d 2. Programmation |p P. 106 |d 3. Ordonnancement du système |p P. 108 |b Conclusion de la partie 1 |p P. 111 |b Entraînez-vous |p P. 114 |b Solutions |b Partie 2 |p P. 121 |b Les concepts présentés à travers une étude de cas détaillée |p P. 123 |c Chapitre 6 Spécification fonctionnelle |p P. 123 |d 1. Présentation de l'étude de cas |p P. 125 |d 2. Analyse opérationnelle |p P. 125 |d 3. Analyse système |p P. 128 |d 4. Analyse logique |p P. 132 |d 5. Spécification formelle par statecharts |p P. 142 |c Chapitre 7 Conception multitâche par la méthode des rythmes |p P. 143 |d 1. Durée d'exécution, période et charge processeur |p P. 146 |d 2. Du flot de données au multitâche |p P. 155 |d 3. Application de la méthode des rythmes au système de contrôle de la mine |p P. 159 |c Chapitre 8 Impacts d'un changement de spécification et tolérance aux fautes |p P. 160 |d 1. Erreur versus panne |p P. 162 |d 2. Activation par événement externe et chien de garde |p P. 169 |c Chapitre 9 Implémentation POSIX avec simulateur |p P. 169 |d 1. La norme POSIX 1003.1 |p P. 173 |d 2. AADL vers POSIX pthread |p P. 214 |d 3. Implémentation du système avec simulateur |p P. 228 |c Chapitre 10 Génération automatique de code depuis AADL |p P. 229 |d 1. Modélisation des données en AADL |p P. 232 |d 2. Modélisation des sous-programmes en AADL |p P. 233 |d 3. Modélisation des tâches et exécutif AADL |p P. 236 |d 4. Processus, système |p P. 236 |d 5. Cas d'étude d'un exécutif AADL : PolyORB-HI/C |p P. 241 |c Chapitre 11 Validation temporelle du système |p P. 241 |d 1. Calcul de pire durée d'exécution |p P. 246 |d 2. Ordonnancement à priorités fixes aux tâches |p P. 280 |c Chapitre 12 De la conception des systèmes à la conception des modèles : une utilisation avancée des modèles |p P. 281 |d 1. Ingénierie dirigée par les modèles |p P. 283 |d 2. Modélisation et méta-modélisation |p P. 291 |d 3. Langages de modélisation dédiés |p P. 294 |d 4. Transformation de modèles et génération de code |p P. 296 |d 5. Transformation modèle vers modèle |p P. 302 |d 6. Transformation modèle vers texte |p P. 310 |b Entraînez-vous |p P. 315 |b Solutions |p P. 321 |b Index | |
| 410 | | | |0 013680803 |t Sciences sup |x 1636-2217 | |
| 452 | | | |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.] |d 2018 |c Malakoff |n Dunod |y 978-21-0078-668-8 | |
| 606 | |3 PPN033217521 |a Systèmes embarqués (informatique) |2 rameau | ||
| 606 | |3 PPN031067220 |a Commande en temps réel |2 rameau | ||
| 606 | |3 PPN027333930 |a Temps réel (informatique) |2 rameau | ||
| 608 | |3 PPN03020934X |a Manuels d'enseignement supérieur |2 rameau | ||
| 676 | |a 004.16 |v 23 | ||
| 680 | |a TK7895.E42 | ||
| 686 | |a 004 |2 Cadre de classement de la Bibliographie nationale française | ||
| 700 | 1 | |3 PPN086811843 |a Grolleau |b Emmanuel |f 1973-.... |4 070 | |
| 701 | 1 | |3 PPN105679569 |a Hugues |b Jérôme |f 1978-.... |4 070 | |
| 701 | 1 | |3 PPN175835705 |a Ouhammou |b Yassine |4 070 | |
| 701 | 1 | |3 PPN15724444X |a Bauer |b Henri |f 1983-.... |4 070 | |
| 801 | 3 | |a FR |b Electre |c 20181023 |g AFNOR | |
| 801 | 3 | |a FR |b Abes |c 20201216 |g AFNOR | |
| 801 | 0 | |a FR |b FR-751131015 |c 20181026 |g AFNOR |2 intermrc | |
| 979 | |a STN | ||
| 930 | |5 441092104:625753259 |b 441092104 |j u | ||
| 930 | |5 441842101:684623056 |b 441842101 |j u | ||
| 998 | |a 825621 | ||