L’objectif est d’initier sur le plan théorique et pratique les étudiants au développement de logiciels «corrects par construction»  pour répondre aux besoins des systèmes critique de fonctionnement(secteur du nucléaire, d’armement, de transport,…)

La démarche déroule une méthode formelle (Méthode B, Vdm++, VdmRT) sur un ou plusieurs ateliers de génie logiciel (AGL). La stratégie de développement est incrémentale et procède en trois étapes en s’appuyant successivement sur un modèle fonctionnel (formalisation des événements/actions), un modèle concurrent (synchronisation fonctionnelle et temporelle des événements/actions) et, finalement, un modèle temps réel (formalisation des contraintes critiques de temps).

À la fin de cette UE/EC, vous serez capable de :

•  Analyser un cahier des charges et décider/justifier le choix de la méthode de développement et des ateliers de génie logiciel

•  Planifier les quatre étapes d’un développement agile: analyse, modélisation, validation assistée, génération automatique de logiciel d’application

•  Evaluer le logiciel d’application, le mettre en œuvre en environnement opérationnel, estimer sa performance théorique (complexité) et planifier sa maintenance (rétro-ingénierie)

UE Génie logiciel (L3 INFO)

UE Atelier de Génie Logiciel & Développement Formel (L3 INFO)

session 1 : 100% contrôle continu : Évaluation d’un projet par étapes (compétences) +  évaluation d’un projet de courte durée (4h)   

session 2 : 100% oral