Le Génie Logiciel désigne l'ensemble des méthodes, des techniques et des outils concourant à la production d'un logiciel, au-delà de la seule activité de programmation.
Ce domaine connait une expansion considérable ces dernières années avec la généralisation des systèmes embarqués dans tous les systèmes industriels et domestiques, et en particulier pour les systèmes utilisés dans les domaines critiques (avionique, spatial, nucléaire, transport ...)

Le Génie Logiciel permet de limiter à la fois les risques de dysfonctionnements mais aussi leurs conséquences. Il permet par ailleurs de rationnaliser les coûts de développement, de test, de modification ou d'évolution des logiciels.


Ce module a pour but d'acquérir une méthodologie de développement logiciel. Il fait suite aux modules II1 et ERISI2, le langage utilisé sera le Langage C.
Il  s'appuiera notamment sur les normes et certifications utilisées dans l'automobile et l'aéronautique (MISRA et DO178B), qui permettent de concevoir des logiciels bien structurés, sûrs et fiables. Analyse formelle et application à la fiabilité des systèmes embarqués.
Ce module traitera en particulier des méthodes de test du logiciel et de la conception de ces tests.
Une part importante de l'enseignement de ce module sera réalisée en TP sur des exemples concrets.
Ce module s'adresse aux étudiants de toute option.

Une partie des enseignements de ce module utilise le logiciel Scade, en temps que partenaire du programme académique de Esterel Technologie.

Academic partner of Esterel Technologies, the provider of model-based solutions for DO-178B and IEC 61508 safety-critical systems.