ENST 31/01/2002 1 Un environnement de test non intrusif de systèmes temps-réel distribués Claire.

Présentation au sujet: "ENST 31/01/2002 1 Un environnement de test non intrusif de systèmes temps-réel distribués Claire."— Transcription de la présentation:

1 ENST 31/01/2002 1 Un environnement de test non intrusif de systèmes temps-réel distribués Jacques.Raguideau@cea.fr Claire

2 ENST 31/01/2002 2 Simuler lenvironnement Écrire un lanceur Placer des sondes Écrire des observateurs et oracles Injecter des fautes Simuler le matériel (microprocesseurs, calculateurs, interconnexions) Sans perturbation du comportement temps-réel (et fonctionnel) du système sous test Objectif

3 ENST 31/01/2002 3 Systèmes critiques Exemples : Nucléaire Transport Aéronautique Cartes à puce … Applications

4 ENST 31/01/2002 4 Test du système de protection des centrales nucléaires françaises Plus de 60 microprocesseurs connectés par plusieurs réseaux Forte redondance Besoins : Exécuter les tests des constructeurs + variantes et compléments Injecter des fautes pour voir le comportement en situation anormale Contraintes : Simuler lenvironnement (sinon arrêt dû aux autotests) Accès non perturbant aux ressources internes Résultats : Simulations réussies (tests et injections de fautes) : -de calculateurs isolés (étude locale) -de plusieurs ( 8) calculateurs et des réseaux pour étudier les interactions Participation importante à lavis rendu à lAutorité de Sûreté Utilisation à lIPSN

5 ENST 31/01/2002 5 Simulation logicielle du matériel Certaines opérations internes à un microprocesseur peuvent être la source dévénements Programmation événementielle de lenvironnement, des observateurs et oracles : cause dun événement : - opération du microprocesseur - décision dune action programmée événement : affectation dune valeur à une variable à une date conséquences dun événement : actions programmées en C Principes

6 ENST 31/01/2002 6 Description du test : Environnement, observateurs, oracles Bibliothèque Correspondance événements – actions Description des microprocesseurs utilisés Placement des sondes Compilation Simulation Traces Panneaux dinteractions Dépouillement Courbes Automate de recherche Couverture du code Démonstration

7 ENST 31/01/2002 7 Performances : 1 sec. de 68040 1 sec. sur PC Linux récent Validation : via émulateurs, compteurs de performance,… Technologie de développement : dabord en C (performant, développement coûteux ) maintenant en SystemC (réutilisation de composants) Disponibles : Motorola 6800, 68000…68040 Intel 486, 586, 8051et dérivés Analog Devices DSP Sharc En préparation : PowerPC 750 (émulation : /100 ; simulation : /5000 sur PowerPC) Simulateurs

8 ENST 31/01/2002 8 Génération de tests Environnement Application Oracle es v Assertions sur lenvironnement Modèle Objectif de test e s v True LUSTRELUSTRE CLAIRECLAIRE GATeL traducteur