Le Master Mention Informatique de l’Université Paris-Est Créteil propose le parcours « Logiciels sûrs », accessible en formation initiale (FI), formation en alternance (FA), et formation continue.
L’objectif est de former des étudiants au développement logiciel en leur faisant aborder les différents paradigmes de programmation et méthodes de conception pour les systèmes logiciels, réseau et embarqués et leur apprendre à choisir les bons concepts et les méthodologies adaptées au domaine applicatif.
Ces compétences sont complétées par des modules axés sur la modélisation abstraite. Cette dernière est fondamentale pour choisir la représentation des données dans un système d’information, la spécification des traitements à appliquer aux données ou la spécification des contraintes du logiciel, qui sont nécessaires dans le développement de logiciels sûrs. Ces derniers occupent une place fondamentale, notamment dans les secteurs critiques (transport, avionique, spatial, nucléaire) dans lesquels la France est leader mondial.
La première année introduit les concepts fondamentaux de programmation, modélisation et d’algorithmique. Elle prépare aux cours plus spécialisés et technologiques de la seconde année.
Le laboratoire d’informatique de l’Université Paris-Est Créteil, le LACL, est spécialisé dans la conception d’outils pour le développement de logiciels sûrs.
L’adossement de la formation au LACL permet de développer à la fois des compétences de conception logicielle et de modélisation et validation nécessaires dans les systèmes critiques.