Introduction aux systèmes embarqués temps réel : conception et mise en oeuvre

Résumé

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

Éditeur(s)
- Dunod
Date
- DL 2018
Notes
- Index
Langues
- Français
Description matérielle
- 1 vol. (X-325 p.) : ill. ; 24 cm
Collections
- Sciences sup
Sujet(s)
- Manuels d'enseignement supérieur
- Systèmes embarqués (informatique)
ISBN
- 978-2-10-077842-3
Indice
- 62.1 Ingénierie, automatique appliquée
Quatrième de couverture
- 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, 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.
  Les plus
  
  Une méthodologie efficace qui part d'un cas concret pour introduire les concepts et les méthodes, inspirée des procédés de conception logicielle en aéronautique, en utilisant l'outillage Capella et le standard SAE AADL
  
  De nombreux exercices corrigés
  
  Des exemptes de code téléchargeables
  
  Une introduction à l'ingénierie dirigée par les modèles : métamodélisation, langages dédiés, transformation de modèles et génération automatique de code
  
  Le public
  
  Élèves ingénieurs en EEA, informatique, aéronautique et mécanique
  
  Étudiants en L3 et M1/M2 EEA, informatique, réseaux et télécommunications, robotique
  
  Étudiants en DUT génie électrique, informatique et informatique industrielle, Infocom, réseaux et télécommunications, mesures physiques
  
  Ingénieurs en conceptionfdéveloppement informatique embarquée en poste dans l'industrie
Tables des matières
- - Introduction aux systèmes embarqués temps réel
  - Conception et mise en oeuvre
  - Emmanuel Grolleau
  - Jérôme Hugues
  - Yassine Ouhammou
  - Henri Bauer
  - Dunod
  - Préface1
  - Partie 1
  - Introduction à la conception par l'exemple2
  - Chapitre 1 Présentation du système exemple 3
  - 1. Montage expérimental3
  - 2. Programme de contrôle7
  - Chapitre 2 Programmation séquentielle 33
  - 1. État des lieux33
  - 2. Spécification fonctionnelle du système41
  - 3. Conception de l'architecture logicielle et matérielle71
  - 4. Étude de l'exécution du système82
  - Chapitre 3 Utilisation des interruptions matérielles 84
  - 1. Spécification formelle84
  - 2. Implémentation par routine de traitement d'interruption89
  - 3. Conception de l'architecture logicielle et matérielle93
  - 4. Étude de l'exécution du système94
  - Chapitre 4 Exécution cyclique 95
  - 1. Programmation95
  - 2. Spécification du système96
  - 3. Implémentation99
  - Chapitre 5 Programmation multitâche 101
  - 1. Spécification et conception de l'architecture logicielle et matérielle102
  - 2. Programmation102
  - 3. Ordonnancement du système106
  - Conclusion de la partie 1108
  - Entraînez-vous111
  - Solutions114
  - Partie 2
  - Les concepts présentés à travers une étude de cas détaillée121
  - Chapitre 6 Spécification fonctionnelle 123
  - 1. Présentation de l'étude de cas123
  - 2. Analyse opérationnelle125
  - 3. Analyse système125
  - 4. Analyse logique128
  - 5. Spécification formelle par statecharts132
  - Chapitre 7 Conception multitâche par la méthode des rythmes 142
  - 1. Durée d'exécution, période et charge processeur143
  - 2. Du flot de données au multitâche146
  - 3. Application de la méthode des rythmes au système de contrôle de la mine155
  - Chapitre 8 Impacts d'un changement de spécification et tolérance aux fautes 159
  - 1. Erreur versus panne160
  - 2. Activation par événement externe et chien de garde162
  - Chapitre 9 Implémentation POSIX avec simulateur 169
  - 1. La norme POSIX 1003.1169
  - 2. AADL vers POSIX pthread173
  - 3. Implémentation du système avec simulateur214
  - Chapitre 10 Génération automatique de code depuis AADL 228
  - 1. Modélisation des données en AADL229
  - 2. Modélisation des sous-programmes en AADL232
  - 3. Modélisation des tâches et exécutif AADL233
  - 4. Processus, système236
  - 5. Cas d'étude d'un exécutif AADL : PolyORB-HI/C236
  - Chapitre 11 Validation temporelle du système 241
  - 1. Calcul de pire durée d'exécution241
  - 2. Ordonnancement à priorités fixes aux tâches246
  - Chapitre 12 De la conception des systèmes à la conception des modèles : une utilisation avancée des modèles 280
  - 1. Ingénierie dirigée par les modèles281
  - 2. Modélisation et méta-modélisation283
  - 3. Langages de modélisation dédiés291
  - 4. Transformation de modèles et génération de code294
  - 5. Transformation modèle vers modèle296
  - 6. Transformation modèle vers texte302
  - Entraînez-vous310
  - Solutions315
  - Index321
Origine de la notice:
- FR-751131015 ;
- Electre