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
mise à jour le 9 juin 2016