Description
Panorama des systèmes cyber-physiques et critiques: finalité, applications représentatives et attributs clés de la sûreté de fonctionnement (sûreté, fiabilité, disponibilité). Architectures en couches reliant le matériel, le logiciel embarqué et la logique applicative au monde physique via la perception, la décision, la communication et l'actionnement. Prise en compte du temps réel et de la prédictibilité, comportements en boucle fermée, et impact des contraintes temporelles et de ressources sur les performances du système. Attentes relatives au cycle de vie des systèmes critiques, incluant des exigences claires, la traçabilité, des choix de conception documentés et justifiés, et une gestion des changements rigoureuse. Évaluation et assurance au niveau système axées sur l'adéquation à l'usage, les preuves de comportement correct dans les conditions prévues et l'alignement avec les contraintes applicables. Pratique professionnelle mettant l'accent sur une communication technique efficace, la prise en compte des considérations organisationnelles et éthiques, et l'ouverture aux perspectives industrielles et de recherche actuelles. Apprentissage par la pratique au moyen de lectures guidées et d'un projet d'équipe progressif aboutissant à un sous-système cyber-physique cohérent et validé, avec des livrables échelonnés et une présentation finale.