Test de robustesse des systèmes temps-réel (thèse pour le doctorat en sciences spécialité Informatique)

De nos jours, les systèmes temps-réel deviennent de plus en plus complexes et ont souvent de lourdes responsabilités. C'est pourquoi il est nécessaire de valider ce genre de systèmes avant leur mise en service. Cette thèse va se positionner dans le cadre du test de robustesse, plus particulièrement pour les systèmes temps-réel et à base de composants. Dans un premier temps, nous présentons une méthode de test de robustesse pour système temps-réel, considérant comme point de départ deux spécifications sous forme d'automates temporisés : une nominale et une dégradée. Nous provoquons une situation inattendue pour le système en mutant les séquences de test. Dans une seconde partie, nous exposons une architecture et un algorithme d'exécution pour tester un système temps-réel à base de composants. Dans une troisième partie, nous présentons un outil de génération de séquences de test que nous avons développéNowadays, real-time systems are getting more an more complex and take often care of human lifes or sensitive systems. Therefore, such systems have to be validated before beeing used. This document deals with robustness testing, especially for real-time and component based systems. Firstly, we present a robustness testing method for real-time systems, considering two specifications given in the timed automata model : a nominal one and a degraded one. We provoque an unexpected situation for the system by adding some hazards in the test sequences. Secondly, we expose an architecture an a test execution algorithm for real-time component based systems. Thirdly, we present our tool for sequence generationREIMS-BU Sciences (514542101) / SudocSudocFranceF