Robust Software Development (I5 · automne)

Comment concevoir des logiciels embarqués qui restent fiables quand tout va mal ?

Ce cours part du cadre IEC 62443 et va jusqu'à la pratique sur cible réelle :

• vous construirez un Execution Framework événementiel pour exécuter des machines d'états (d'abord en Qt, puis sur STM32 avec Zephyr),
• vous structurerez votre code avec les design patterns de l'embarqué en C,
• et vous apprendrez à durcir un système de contrôle : détecter les défaillances, les contenir, garder la main.

Trois laboratoires notés sur hardware réel (XF SuperLab, ButtonManager, Elevator Robustness), un contrôle continu et un examen écrit.

Enseignement en français, supports EN/FR.

PS :  Ce cours a changé de nom, auparavant intitulé Robust Software Engineering (RSE)