UE Embedded systems

Diplômes intégrant cet élément pédagogique :

Descriptif

Understanding the concepts and methods that helps to design safe embedded systems, including:
- concept of deterministic concurrent programming,
- difference between logical time and quantitative time,
- compilation of data-flow designs into sequential code,
- formal verification of safety properties.

Informations complémentaires

Méthode d'enseignement : En présence
Lieu(x) : Grenoble - Domaine universitaire
Langue(s) : Anglais