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 |
- 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