Vous êtes ici :

Formation LMD

Master Informatique parcours Logiciels sûrs

Nature :
Formation diplômante
Diplôme national
Type de diplôme :
Master
Durée des études :
2 ans
Année post-bac de sortie :
Bac + 5
Niveau de sortie :
Niveau 1
Lieu(x) de formation :
Créteil - Campus Centre
Accessible en :
  • Formation initiale
  • Formation continue
  • Formation en alternance
  • Formation en apprentissage

Domaine : Sciences - Technologie - Santé
Mention : Informatique
UFR/Institut : UPEC - UFR de Sciences et technologie
Site web de la formation : https://master-logiciels.lacl.fr

Capacité d'accueil

Master 1re année : 20 étudiants

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.

Statistiques

Formation initiale
Master 1
Pour 2021-2022 : 75% de réussite en formation initiale et 100% pour la formation en apprentissage
Pour 2022-2023 : 87,5% de réussite en formation initiale et 100% pour la formation en apprentissage

Les étudiants qui ont validé leur master 1 et ensuite leur master 2 trouvent un travail en moyenne dans les 6 mois qui suivent.

Formation professionnelle (formation en apprentissage, formation continue et VAE)
Obtenir le taux de réussite, d'insertion et de satisfaction
 

Organisation de la formation

Format de la formation
Présentiel avec accès aux ressources numériques (documentation, autoformation bureautique, plateforme d'enseignement des langues en ligne)

Méthodes pédagogiques mobilisées
Les équipes pédagogiques mettent en oeuvre des méthodes multimodales et adaptées à leurs publics : cours magistraux, projets collectifs et/ou travaux individuels.


Programme des enseignements

(sous réserve de vote des instances)


Master 1

Semestre 1 (formation initiale)
UE Appliquer et optimiser des techniques de programmation bas niveau (45 h - 6 ECTS)
UE Développer et analyser des applications réparties sur réseaux (23 h - 3 ECTS)
UE Concevoir et implémenter des programmes concurrents (23 h - 3 ECTS)
UE Analyser et modéliser les architectures de communication (23 h - 3 ECTS)
UE Appliquer des techniques avancées de modélisation et d’interrogation de données (23 h - 3 ECTS)
UE Analyser et comparer des paradigmes de langages de programmation (45 h - 6 ECTS)
UE Appliquer des méthodes et outils pour planifier, suivre et piloter un projet informatique (23 h - 3 ECTS)
UE Concevoir et mettre en œuvre une démarche scientifique dans un contexte informatique (23 h - 3 ECTS)
Semestre 2 (formation initiale)
UE Concevoir et évaluer des algorithmes complexes (23 h - 3 ECTS)
UE Implémenter et exploiter des paradigmes logiques de programmation (23 h - 3 ECTS)
UE Appliquer et analyser des protocoles cryptographiques (23 h -  3 ECTS)
UE Modéliser et vérifier formellement le comportement des systèmes (23 h - 3 ECTS)
UE Communiquer efficacement en contexte professionnel et technique (23 h - 3 ECTS)
UE Analyser les enjeux sociaux et éthiques des technologies numériques (23 h - 3 ECTS)
UE Mettre en œuvre des compétences en contexte professionnel (22 h - 3 ECTS)
UE Classifier les problèmes computationnels (23 h - 3 ECTS)
UE Stage - Stage (6 ECTS)

Semestre 1 (formation en apprentissage)
UE Appliquer et optimiser des techniques de programmation bas niveau (45 h - 6 ECTS)
UE Développer et analyser des applications réparties sur réseaux (23 h - 3 ECTS)
UE Concevoir et implémenter des programmes concurrents (23 h - 3 ECTS)
UE Analyser et modéliser les architectures de communication (23 h - 3 ECTS)
UE Appliquer des techniques avancées de modélisation et d’interrogation de données (23 h - 3 ECTS)
Semestre 2 (formation en apprentissage)
UE Concevoir et évaluer des algorithmes complexes (23 h - 3 ECTS)
UE Implémenter et exploiter des paradigmes logiques de programmation (23 h - 3 ECTS)
UE Appliquer et analyser des protocoles cryptographiques (23 h - 3 ECTS)
UE Modéliser et vérifier formellement le comportement des systèmes (23 h - 3 ECTS)
UE Communiquer efficacement en contexte professionnel et technique (23 h - 3 ECTS)
UE Analyser les enjeux sociaux et éthiques des technologies numériques (23 h - 3 ECTS)
Séquence professionnelle (24 ECTS)


Master 2

Semestre 3 (formation initiale)
UE1 Sécuriser, déployer et maintenir des applications, 9 ECTS
- ECUE1 DevOps, 3 ECTS, 13hCM + 13hTD
- ECUE2 Technologie Cloud, 3 ECTS, 13hCM + 13h TD
- ECUE3 Sécurité WEB, 3 ECTS, 13hCM + 13hTD
UE2 Modéliser, vérifier et expliquer des systèmes intelligents, 9 ECTS
ECUE1 Intelligence artificielle, 3ECTS, 13hCM + 13hTD
ECUE2 Logiciel de preuve, 3ECTS, 13hCM + 13hTD
ECUE3 Concepts et outils pour les méthodes formelles, 3ECTS, 13hCM + 13hTD
Semestre 4 (formation initiale) 
UE1 Valider, certifier et piloter la qualité des systèmes logiciels, 9 ECTS
- ECUE1 Méthodologies de test, 3 ECTS, 13h CM + 13h TD
- ECUE2 Logiciel de preuve 2, 3 ECTS, 13h CM + 13h TD
- ECUE3 Gouvernance et gestion des risques, 3 ECTS, 13h CM + 13h TD
UE2 Concevoir et développer des applications sécurisées, 6 ECTS
- ECUE1 Environnement d'exécution en enclave sécurisée, 3 ECTS, 13h CM + 13h TD
- ECUE2 Programmation sécurisée, 3 ECTS, 13h CM + 13h TD
UE3 Découvrir les thématiques de recherche du LACL, 9 ECTS 
- ECUE1 Cours thématique 1, 3 ECTS, 13h CM + 13h TD
- ECUE2 Cours thématique 2, 3 ECTS, 13h CM + 13h TD
- ECUE3 Cours thématique 3, 3 ECTS, 13h CM + 13h TD
UE4 Concevoir et développer des applications web, 6 ECTS
- ECUE1 : Back End, 3ECTS, 12h CM + 12h TD
- ECUE2 : Front End, 3ECTS, 12h CM + 12h TD
UE stage : Stage, 12 ECTS. 
 
Semestre 3 (formation en apprentissage)
UE1 Sécuriser, déployer et maintenir des applications, 9 ECTS
- ECUE1 DevOps, 3 ECTS, 15hCM + 16,5hTD
- ECUE2 Technologie Cloud, 3ECTS, 15hCM + 16,5hTD
- ECUE3 Sécurité WEB, 3 ECTS, 15hCM + 16,5hTD
UE2 Modéliser, vérifier et expliquer des systèmes intelligents, 9 ECTS
- ECUE1 Intelligence artificielle, 3 ECTS, 15hCM + 16,5hTD
- ECUE2 Logiciel de preuve, 3 ECTS, 15hCM + 16,5hTD
- ECUE3 Concepts et outils pour les méthodes formelles, 3 ECTS, 15hCM + 16,5hTD
Semestre 4  (formation en apprentissage)
UE1 Valider, certifier et piloter la qualité des systèmes logiciels, 9 ECTS
- ECUE1 Méthodologies de test, 3 ECTS, 15hCM + 16,5hTD
- ECUE2 Logiciel de preuve 2, 3 ECTS, 15hCM + 16,5hTD
- ECUE3 Gouvernance et gestion des risques, 3 ECTS, 15hCM + 16,5hTD
UE2 Concevoir et développer des applications sécurisées, 6 ECTS
- ECUE1 Environnement d'exécution en enclave sécurisée, 3 ECTS, 15hCM + 16,5hTD
- ECUE2 Programmation sécurisée, 3 ECTS, 15hCM + 16,5hTD
UE3 (UE à choix, 2 modules à choisir sur les 3 suivants) : Découvrir les thématiques de recherche du LACL, 6 ECTS
- ECUE1 Cours thématique 1, 3 ECTS, 15hCM + 16,5hTD
- ECUE2 Cours thématique 2, 3 ECTS, 15hCM + 16,5hTD
- ECUE3 Cours thématique 3, 3 ECTS, 15hCM + 16,5hTD
UE Séquence professionnelle, 21 ECTS

Stage / Alternance

Master 1 : stage de 2 mois minimum à partir du mois d'avril
Master 2 : stage de 4 mois minimum à partir du mois d'avril

La formation est également ouverte en alternance.
Le rythme d'alternance est bi-hebdomadaire avec une semaine sur deux en entreprise et en formation. La fin de l'année est terminée par deux sessions longues en entreprise de deux mois séparée par une semaine à l'université.
 

Modalités de contrôle des connaissances

Les modalités de contrôle des connaissances sont arrêtées par la CFVU de l'Université. Elles sont affichées sur chaque fiche de formation (voir partie intitulée "Réglementation" dans l'encadré de droite).

Contrôle continu pendant toute la période de formation

Calendrier pédagogique

Formation initiale : de septembre à juillet
Formation en apprentissage : de septembre à septembre
 

Niveau(x) de recrutement

Bac + 3, Bac + 4, [ Autre ]

Modalités d'admission en formation initiale

En master 1
Etudiant titulaire d'une licence informatique

En master 2
Etudiant titulaire d'un master Informatique

Commission composée d'enseignants-chercheurs du département d'informatique

Modalités d'admission en formation continue

Public concerné
Salarié du secteur privé ou du secteur public souhaitant accéder à un niveau supérieur ou se réorienter, demandeur d'emploi
Pré-requis
Avoir niveau Bac+3 ou un diplôme équivalent ou obtenir le droit d'entrer en formation par le biais de la procédure de la validation des acquis professionnels et personnels (VAPP).
Etre en poste sous le régime de la formation continue. L'expérience professionnelle est prise en compte pour l'évaluation des pré-requis.
Tarif de la formation
8800 € par année de formation 
En savoir plus

Modalités d'admission en formation par apprentissage

- Accès au parcours à partir de la première année de master :
étudiants  ayant validé une licence 3 ou son équivalent (en France ou à l'étranger)
- Accès au parcours à partir de la deuxième année de master :
étudiants ayant validé un master 1 ou son équivalent (en France ou à l'étranger)

Les étudiants doivent avoir moins de 30 ans à la date de démarrage de leur contrat d'apprentissage.

Modalités d'admission en formation par alternance

Le master est accessible en contrat de professionnalisation.

VAE

Quels que soient votre âge, votre nationalité, votre statut, vous pouvez prétendre à la VAE si vous justifiez d'une expérience professionnelle et/ou personnelle d'au moins un an en lien direct avec ce diplôme.
En savoir plus

Candidature

Formation initiale
• Pour les candidatures en Master 1
- Etudiants ou adultes en reprise d’études : https://www.monmaster.gouv.fr/     
- Etudiants internationaux (hors Campus France) : https://www.monmaster.gouv.fr/ 
- Etudiants internationaux (procédure Campus France) : www.campusfrance.org
• Pour les candidatures en Master 2
- Etudiants ou adultes en reprise d’études : https://candidatures.u-pec.fr
- Etudiants internationaux (hors Campus France) : https://candidatures.u-pec.fr
- Etudiants internationaux (procédure Campus France) : www.campusfrance.org

Formation en apprentissage
• Pour les candidature en Master 1 : https://www.monmaster.gouv.fr/
• Pour les candidatures en Master 2 :
A partir de début du mois de mars sur https://candidatures.u-pec.fr
Au moment du dépôt de la candidature en apprentissage sur e-candidat, merci d'en informer le secrétariat : hassina.mokdad@u-pec.fr

Formation continue
• Pour les candidatures en Master 1 : https://www.monmaster.gouv.fr/
En parallèle merci de contacter le service formation continue de la faculté :
fc.sciences@u-pec.fr
• Pour les candidatures en Master 2 : contacter le service formation continue de la faculté :
fc.sciences@u-pec.fr

Responsable(s)

Responsable de la mention : Luidnel Maignan
Responsable du M1 (formation initiale) : Youssouf Oualhadj
Responsable du M1 (formation en apprentissage) : Benoît Barbot
Responsable du M2 parcours Logiciels sûrs (formation initiale et en appentissage) : Nihal Pekergin
Merci de contacter le responsable pédagogique au plus proche de votre demande uniquement

Secrétariat

Formation initiale et en apprentissage
Master 1 et master 2 
Hassina Mokdad
UFR de sciences et technologie
Campus Centre de Créteil
Bâtiment P2 - 2e étage - Bureau P2 239 C
61, avenue du Général de Gaulle - 94010 Créteil cedex
Tél : 01 45 17 14 95 - hassina.mokdad@u-pec.fr

Plus d'informations

Etudes et handicap
Aménagement des études et des examens, accès aux locaux et aux équipements scientifiques, l'UPEC propose aux usagers en situation d'handicap un accompagnement spécifique pour leur permettre d'étudier dans les meilleures conditions
En savoir plus
Mis à jour le 9 février 2026