M1 IFI - Informatique Embarquée et mobile

Cette page s'adresse aux étudiants du M1 IFI

Ce module regroupe un certain nombre de sujets liés à la conception de systèmes embarqués. Il commence par une description assez haut niveau de plusieurs modèles mathématiques pour la conception de systèmes embarqués. Il enchaîne sur la mise en oeuvre d'environnements pour la vérification de propriétés fonctionnelles et temporelles. Ces environnements reposent très largement sur les modèles présentés antérieurement. Le module enchaîne ensuite sur des modèles d'ingénierie et fait le parallèle avec les modèles mathématiques étudiés précédemment. On s'intéresse alors essentiellement à l'utilisation concrète de ces modèles d'ingénieurs, de leur manipulation, persistence et transformation. On conclut par une introduction rapide à la programmation mobile pour Android.