M1 IFI - Informatique Embarquée et mobile

De $1

Version de 20:50, 22 Nov 2024

cette version.

Revenir à liste des archives.

Voir la version actuelle

Cette page s'adresse aux étudiants du M1 IFI, année université 2013/2014.

Ce module regroupe un certain nombre de sujets liés à la conception de systèmes embarqués. 

Systèmes embarqués et concurrents

  • 4 mars: Introduction à la conception de systèmes embarqués [Robert de Simone]
  • 7 mars: Algèbre de processus (CCS), Langages Synchrones [Robert de Simone]
  • 21 mars: Réseaux de processus [Robert de Simone]

Analyse Fonctionnelle et Temporelle

  • 14 mars: Logique temporelle CTL/LTL et Réseaux de Kahn [Robert de Simone]
  • 28 mars: NuSMV - langage et utilisation [Frédéric Mallet]

Modèles: Représentation, Persistence et transformations

  • Les machines à états vues de l'ingénieur [Frédéric Mallet]
  • Modèles XML et transformations [Frédéric Mallet]

Programmation mobile

  • Introduction à la programmation sous Android