Conception dirigée par les modèles et génération automatique de code

L'objectif de cet enseignement est de présenter les approches modernes de la conception de logiciels embarqués critiques fondés sur les modèles. Les logiciels Ansys SCADE et Mathworks Simulink seront présentés avec la vision du développement logiciel.