Enseignant : Samuel Boutin, Jean-Louis Dufour

Cours :

Ce cours en deux parties illustre les méthodes de conception système sur un cas venant de l’industrie automobile, puis des cas venant du ferroviaire et de l’aéronautique.
La première partie illustre la manière de concevoir des fonctions inter-systèmes dans un véhicule à l’aide de techniques de modélisation. Il s’attachera plus particulièrement à étudier en détails une fonction véhicule transversale (comme par exemple la gestion de l’énergie) en mettant en évidence comme sa modélisation résulte de l’intégration des modèles de ses différents sous-systèmes. Le cours abordera aussi les questions de validation des modèles utilisés, de sûreté de fonctionnement, d’architecture logicielle et de génération automatique de code.
La deuxième partie du cours décline la conception d’un système embarqué, vu comme un réseau de calculateur (couple matériel/logiciel) sous trois aspects:
⁃ la sécurisation des communications, au sens de la sûreté de fonctionnement
⁃ la sécurisation du matériel (architectures “sûres” dans les domaines ferroviaire, automobile et aéronautique)
⁃ la sécurisation du logiciel (en mettant l’accent sur la méthode B)

TD : 14 heures de TD pour 10 heures de cours.

Prérequis : Principaux modules de la filière systèmes embarqués (cours d’application)