Site affiché en Français Voir le site en Anglais (USA) Voir le site en Anglais (GB)
Vous êtes ici: ac6 > ac6-formation > Langages > C embarqué

L2 C embarqué

Le langage C pour les systèmes embarqués

Objectifs
bullet_jaune_1 Découvrir le langage C au moyen d’exercices sur une carte cible 32 bits
bullet_jaune_1 Comprendre le fonctionnement d’une chaîne de compilation
bullet_jaune_1 Analyser les options d’optimisation de code du compilateur
bullet_jaune_1 Développer des applications pour accéder aux ports d’E/S et gérer les interruptions
bullet_jaune_1 Interfacer C et assembleur pour mettre en œuvre des instructions spécifiques du processeur cible
Matériel
bullet_jaune_2 Un PC et une carte ColdFire par binôme
bullet_jaune_2 Chaîne de compilation croisée et sonde d'émulation BDM
bullet_jaune_2 Manipulations sur carte nue
bullet_jaune_2 Un support de cours ainsi que la disquette contenant les exemples
Pré-requis
bullet_jaune_2 Connaissances de l'arithmétique binaire
bullet_jaune_2 Connaissance d'un microprocesseur (type 8 bits) recommandée

Plan
Conception d'un logiciel structuré
bullet_jaune_2 Découpage d’une application en plusieurs fonctions
bullet_jaune_2 Séparation en fichiers distincts
bullet_jaune_2 Intérêt des fichiers header et des librairies
bullet_jaune_2 Classes d’allocation des variables (static, automatic, register et extern) et analyse de leurs durées de vie
Analyse des éléments constitutifs d'une chaîne de compilation
bullet_jaune_2 Explication des étapes du processus de génération de code en natif et en croisé
bullet_jaune_2 Rôle du compilateur, de l’assembleur et du linker
bullet_jaune_2 Paramétrage en fonction d’un mapping mémoire
bullet_jaune_2 Structure d’un programme source C, distinction des parties essentielles : préprocesseur, déclaration des variables globales, fonctions
bullet_jaune_2 Découpage d’une application en fichiers distincts
bullet_jaune_2 Le préprocesseur
bullet_jaune_2 Les instructions #define et #include
bullet_jaune_2 Ecriture de macros
bullet_jaune_2 Précautions à prendre dans les headers pour éviter les redéclarations de variables
bullet_jaune_2 Notion de projet, réalisation de librairies
Exercice : mise en œuvre de la chaîne de compilation et fabrication d’une librairie
Les types du langage C et les opérateurs
bullet_jaune_2 Les types scalaires : char, int, float et double
bullet_jaune_2 Codage des nombres entiers en code binaire naturel ou en code complément à 2
bullet_jaune_2 Déclaration des variables
bullet_jaune_2 Les conversions de type implicites et explicites (casting)
bullet_jaune_2 Les directives de compilation pour forcer l’alignement du code et des données, intérêt sur les processeurs munis de caches
bullet_jaune_2 L'attribut volatile pour éviter les optimisations de code par le compilateur
bullet_jaune_2 Les constantes
bullet_jaune_2 Les opérateurs du C : logiques, arithmétiques et relationnels
bullet_jaune_2 Priorité entre opérateurs
Exercice : réalisation de programmes d’accès aux I/O du ColdFire mettant en œuvre les concepts ci-dessus
Les traitements itératifs et conditionnels
bullet_jaune_2 La structure if…else
bullet_jaune_2 La structure switch…case
bullet_jaune_2 Les boucles : while, do…while et for
bullet_jaune_2 Les instructions break et continue
bullet_jaune_2 L'instruction goto
bullet_jaune_2 Les optimisations du compilateur au niveau des structures de contrôle du langage C : exemple le dépliement des boucles
Exercice : réalisation d’un chenillard
Les pointeurs et les tableaux
bullet_jaune_2 Analyse d’une instruction de transfert assembleur pour comprendre l’accès à la mémoire
bullet_jaune_2 Mise en évidence de la distinction adresse / contenu
bullet_jaune_2 Calculs d’adresses, opérations mêlant pointeurs et adresses absolues
bullet_jaune_2 Les tableaux mono et multi multi-dimensionnels
bullet_jaune_2 Les tableaux de pointeurs
bullet_jaune_2 Les pointeurs sur fonctions
Exercice : allocation d’un pointeur sur un port d’IO
Exercice : visualisation en mémoire des allocations qui sont réalisées dans le cas de tableaux multi-dimensionnels
Exercice : recopie de tableaux et notation par pointeur
Les structures et les unions
bullet_jaune_2 Accès aux champs d’une structure
bullet_jaune_2 Déclaration de variables et de pointeurs sur type structuré
bullet_jaune_2 Explication du padding imposé par les règles d’alignement : options pack du compilateur
bullet_jaune_2 Les formats big et little endian
bullet_jaune_2 Les structures à champ de bits : modélisation des périphériques
bullet_jaune_2 Utilisation de typedef
bullet_jaune_2 Intérêt du sizeof
bullet_jaune_2 Les tableaux de structures
bullet_jaune_2 Les listes chaînées
bullet_jaune_2 Les unions : une même zone mémoire peut être envisagée de différentes manières
Exercice : modélisation de l’UART du ColdFire au moyen d’une union et d’une structure à champs de bits et communication avec un terminal; mise en EPROM de l’application
Les fonctions
bullet_jaune_2 Prototypage des fonctions : notions d’argument et de variable de retour
bullet_jaune_2 Déclarations anticipées de fonctions
bullet_jaune_2 Les espaces de validité des variables
bullet_jaune_2 La récursivité : impact sur la pile
bullet_jaune_2 Mise en évidence de l’allocation d’un stack frame lors du processus d’appel
bullet_jaune_2 Visualisation des stacks frames empilés (call stack)
bullet_jaune_2 La fonction main et ses arguments
bullet_jaune_2 Utilité des tableaux de pointeurs sur des fonctions
Exercice : lancement d’une fonction à partir d’un tableau de pointeurs
L'allocation dynamique
bullet_jaune_2 Fonctions malloc et free : intérêt de l’allocation dynamique
bullet_jaune_2 Malloc et temps réel
bullet_jaune_2 Stratégies des algorithmes d’allocation mémoire
bullet_jaune_2 Distinction tas / pile
bullet_jaune_2 Tas par défaut et tas privé
Exercice : réalisation de listes chaînées de messages reçus au moyen de l’UART
Les interruptions
bullet_jaune_2 Nécessité des interruptions dans un système embarqué
bullet_jaune_2 Distinction entre déclenchement sur front et sur niveau
bullet_jaune_2 Acquittement logiciel
bullet_jaune_2 Ecriture d’un gestionnaire d’interruption : distinction des 3 étapes prologue / corps / épilogue
bullet_jaune_2 Table de vecteurs
bullet_jaune_2 Ecriture des fonctions d’installation et de lecture de vecteur
Exercice : lancement d’une action suite à une interruption
Le langage C dans le contexte embarqué
bullet_jaune_2 Distinction entre adressage absolu et adressage relatif pour la relogeabilité du code et des données
bullet_jaune_2 Cstart : initialisation du pointeur de pile et mise à 0 des variables non initialisées
bullet_jaune_2 Nécessité de l'attribut volatile
bullet_jaune_2 Portabilité
bullet_jaune_3 big-endian et little endian
bullet_jaune_3 padding et alignement
bullet_jaune_2 Optimisation du code
bullet_jaune_2 Mise en EPROM d’une application
Exercice : mise en évidence et détection de fuites mémoire
Les entrées/sorties standards
bullet_jaune_2 Les fonctions de la bibliothèque stdio
bullet_jaune_2 Prototypage des fonctions de base : getchar et putchar
bullet_jaune_2 Prototypage des fonctions qui effectuent un formatage : printf, scanf
bullet_jaune_2 Notion de fichier : l’accès aux fichiers
bullet_jaune_2 Traitement des erreurs : stderr et exit
Exercice : utilisation des fonctions stdio pour la communication avec un terminal
Mise au point
bullet_jaune_2 Communication avec la cible
bullet_jaune_2 Les différents niveaux de mise au point : C, assembleur
bullet_jaune_2 Les fenêtres du debugger : source, mémoire, pile et variables
bullet_jaune_2 Positionnement de points d’arrêt
bullet_jaune_2 Analyse de la pile et extraction des stacks frames correspondant aux fonctions imbriquées