Systèmes embarqués : interaction entre matériel et logiciel


Présentation
La formation présente et illustre les concepts relatifs au développement des systèmes embarqués. L'objectif est d’acquérir une vision claire et une bonne compréhension de l'interaction et de la communication entre logiciel et matériel dans les systèmes embarqués.
Objectifs
Les systèmes embarqués se caractérisent par une étroite cohabitation entre matériel et logiciel. Ils spécifient de nombreuses propriétés non fonctionnelles liées à la consommation d’énergie, au coût, à la portabilité, au temps réel, à la sûreté de fonctionnement et l'interopérabilité. Ces particularités ont des répercussions sur les méthodes, les niveaux et les langages de spécification, les architectures matérielles/logicielles, les méthodologies de conception et les méthodes de validation.
Stage
Sessions
L'environnement de développement est basé sur le nouveau système sur puce de dernière génération proposé par Xilinx : Zynq-7000 All Programmable SoC, qui intègre un processeur ARM Dual Core Cortex-A9 et une structure reconfigurable (FPGA) de la famille Artix-7. Les travaux pratiques utilisent la suite de développement Xilinx Embedded Development Kit et la carte ZedBoard (http://www.zedboard.org/). Cet environnement permet d'unifier le développement du matériel et du logiciel et le prototypage rapide sur carte.