Description : Programmation et Analyse de systèmes Embarqués / Embedded systems programming and analysis

Les systèmes embarqués sont au cœur de nombreuses applications modernes, comme par exemple l’automatisation des transports (automobile, train, avionique), ou encore le domaine de l’Internet des objets (IoT). Pour supporter l’augmentation et la diversification des systèmes embarqués, il est impératif d’améliorer leur efficacité, afin de limiter l’utilisation de ressources matérielles, tout en assurant leur fiabilité, afin d’éviter tout accident. En effet, les systèmes embarqués sont souvent critiques, du fait de leurs interactions avec leur environnement physique. Une erreur dans l’exécution du logiciel peut endommager le système physique, et potentiellement avoir des conséquences graves sur les personnes et les biens.