Analyse conjointe logiciel/matériel de la testabilité de systèmes flot de données

TL;DRAbstract

Ce travail concerne la qualite de specifications flot de donnees mixtes logiciel-materiel. Le langage plus particulierement etudie est le langage sao (specification assistee par ordinateur) actuellement utilise dans les domaines avionique et spatial. Les facteurs que nous cherchons a analyser sont la testabilite et la diagnosabilite de la specification. L'enjeu de la testabilite, definie comme facilite a tester, apparait dans l'opposition a priori entre l'efficacite exigee de la phase de validation et le cout qu'elle occasionne, sachant qu'il faut bien tester pour obtenir une bonne confiance dans le systeme. Le but de l'analyse de testabilite est de rendre compatibles ces exigences de confiance et de reduction des couts : un systeme plus testable doit pouvoir etre teste plus efficacement a moindre cout. Comme l'activite de diagnostic s'integre pleinement au processus de validation, nous nous sommes aussi interesses a la diagnosabilite du systeme, definie comme la facilite a localiser l

Chat with Paper

AI Agents for this Paper