1. Nouvelle Vie Professionnelle
  2. >
  3. Se former
  4. >
  5. Annuaire des formations
  6. >
  7. Sciences, technologies, santé mention informatique parcours Systèmes embarqués mobiles sûrs et objets connectés

Sciences, technologies, santé mention informatique parcours Systèmes embarqués mobiles sûrs et objets connectés



Contenu

Objectifs

La formation a pour but de former des spécialistes en informatique de niveau Bac + 5 qui soient au fait des dernières technologies en matière de Systèmes critiques, Objets connectés et Internet des objets :
- Langages de programmation pour l’embarqué : Java, C, C++,…
- Plateforme d’exécution : Java ME, Java Card, Android, iOS, OSEK, …
- Réseaux mobiles, réseaux de capteurs ;
- Plateformes embarquées de confiance : cartes à puce, TPM, TEE,…
- Technologies pour la mise en place d’application sécurisée (cryptographie, sécurité informatique, détection d’intrusion, …)
- Technologie pour la mise en place d’applications sûres (vérification de programme, méthodes formelles, interprétation abstraite,…) : SPARK, COQ, B,…
- Gestion de données avancées pour l’intelligence ambiante,
Les contraintes fortes qui caractérisent les systèmes embarqués en terme de temps réel, criticité, sécurité, sûreté, prix des solutions, tailles des programmes, performances des solutions, optimisation de la consommation des systèmes sont pris en compte durant les enseignements. Une attention particulière est donnée aux enseignements pour que les étudiants puissent aussi aborder les aspects de l’architecture générale des applications mettant en œuvre des systèmes embarqués et les parties lancement et déploiement de systèmes.

Prérequis

Licence

Diplôme visé

Master

Cette formation est pour moi
N.C. 800 N.C.
Cette formation est pour moi
Ajouter
Partager

Veuillez remplir ce formulaire pour que nous puissions vous mettre en relation avec l'organisme de formation.
Cet organisme vous recontactera très prochainement.