Objectifs:Au terme de ce cours, la personne étudiante sera en mesure de/d’ : • Définir les objectifs de la vérification formelle et de test des logiciels embarqués critiques • Décrire les méthodes de vérification formelle et de test des logiciels embarqués critiques • Connaitre les exigences des normes de développement des logiciels embarqués critiques pour la vérification formelle et le test • Concevoir des plans de vérification formelle et de test • Effectuer la vérification formelle et le test des logiciels embarqués à l’aide d’outils adéquats
- Enseignant: Nguena Timo Omer Landry