Logiciels validés

Cette séance de cours traite du concept de logiciel validé, en se concentrant sur les défis de la validation et de la revalidation des systèmes au fil du temps, en particulier dans les environnements critiques pour la sécurité. L'instructeur explique la nécessité d'une assurance d'exécution en temps réel anticipée pour analyser et valider les systèmes en continu. La séance de cours couvre des techniques telles que l'émulation de lectures de capteurs, la réduction des tests et l'exécution de tests en parallèle avec le système. Il aborde également l’importance de la validation au niveau sémantique et le développement d’un framework pour spécifier des modèles d’application et générer des tests de validation. La séance de cours met l'accent sur l'importance d'aborder les changements environnementaux qui peuvent avoir un impact sur la fonctionnalité du système et la nécessité de méthodes de validation robustes pour assurer la fiabilité du système.