Parcours SEC : Ingénierie des systèmes matériels et logiciels critiques

Objectif général : Approfondir la conception et la validation de systèmes embarqués critiques du matériel au logiciel

>> Consultez le détail des cours (se repérer à l'intitulé Parcours SEC)

Métiers ciblés :
- Architecte de systèmes matériels et logiciels
- Ingénieur spécialisé en conception  de système embarqué (hw/sw)
- Ingénieur développement logiciel critique

Compétences générales visées :
Modéliser, concevoir, valider et tester des systèmes matériels et logiciels critiques

Objectifs spécifiques :
- Concevoir, valider et tester des architectures matérielles sécurisées
- Concevoir et valider des systèmes logiciels avancés critiques

Compétences détaillées :

• Validation et test de systèmes matériels

- Techniques avancées de validation de descriptions matérielles
- Conception en vue du test et Test des systèmes Embarqués
- Modélisation matérielle et logicielle pour la co-vérification

• Sécurité des Systèmes Embarqués

- Attaques et Menaces contre les Systèmes embarqués
- Techniques de sécurisation des systèmes embarqués
- Développement de logiciel critiques
- Sûreté de fonctionnement
- Test logiciel pour les applications critiques
- Techniques de développement de logiciel critique
- Applications Réparties
- Intergiciels répartis et embarqués

• Développement d’applications réparties

- Applications Pervasives
- Architectures orientées service
- Conception orientée objet avancée d’applications réparties