F. Mallet

Synchronous Programming

Le cours offre une introduction à la programmation synchrone en mélangeant les approches déclaratives, flots de données ou basées sur les états.

S1 3 ECTS 24h OPT EN F. Mallet

Description

  • Paradigme synchrone
    • Styles : Flots de données, états hiérarchiques, par contraintes ;
    • Lustre : type, analyse de causalité, tableaux, recursivité ;
    • Horloge logique et Horloge de Lamport ;
    • Système multi-horloge.
  • En pratique
    • Compilation vers C;
    • Simulation (avec Luciole);
    • Vérification (avec Lesar).
  • Temps logique vs. Temps Physique

Modalités de contrôle des connaissances

  • 1 TP noté - Lustre (25%)
  • 1 TP noté - BDD (25%)
  • 1 examen écrit (50%)

Supports