Fiabilité systèmes critiques

• Maîtriser la conception des systèmes embarqués
• Utiliser des techniques avancées et des outils pour le test.
• Techniques de vérification formelle
• Techniques de modélisation et d’analyse de fiabilité
• Technique d’analyse de la Cybersécurité

Les systèmes critiques sont des systèmes dont la défaillance peut entraîner des conséquences inacceptables. L'ingénierie et l'exploitation de tels systèmes doivent être organisés de sorte à maîtriser leur sûreté de fonctionnement. Ce cours permet d’étudier des méthodes et techniques utilisés en pratique permettant de construire une confiance justifiée dans la sûreté d'un système :
• Qualification
• Approches formelles
• Techniques de test
• Évaluation de la sûreté basée sur les modèles
• Cybersécurité industrielle