Master Informatique – Logiciels sûrs – UPEC

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.

Objectifs

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.

Compétence(s) visée(s)

  • Analyse des besoins utilisateurs
  • Analyse d’opportunités et faisabilité technologique de l’application
  • Élaboration et rédaction de cahiers des charges
  • Conception d’architecture logicielle
  • Définition des protocoles et des scenarios de test
  • Intégration et déploiement les solutions
  • Connaissance des normes de sûreté
  • Évaluation des risques pouvant intervenir au cours de la réalisation
  • Définition de schémas d’organisation, de méthodes de travail, de normes et de procédures qualité
  •  Élaboration des éléments de chiffrage (besoins humains, financiers…)

Débouchés professionnels

  • Chef de projets informatique
  • Développeur d’application
  • Ingénieur nouvelles technologies de l’information et la communication
  • Systémier, concepteur de systèmes critiques
  • Ingénieur méthode qualité
  • Ingénieur réseaux et internet

Environnement de recherche

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.