8
D R T Ile-de-France ENST 31/01/2002 1 Un environnement de test non intrusif de systèmes temps-réel distribués [email protected] Claire

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

Embed Size (px)

Citation preview

Page 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

DRT Ile-de-France

ENST 31/01/20021

Un environnement de test non intrusif

de systèmes temps-réel distribués

[email protected]

Claire

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

DRT Ile-de-France

ENST 31/01/20022

• Simuler l’environnement • É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

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

DRT Ile-de-France

ENST 31/01/20023

Systèmes critiques

Exemples :• Nucléaire• Transport• Aéronautique• Cartes à puce• …

Applications

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

DRT Ile-de-France

ENST 31/01/20024

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 l’environnement (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 à l’avis rendu à l’Autorité de Sûreté

Utilisation à l’IPSN

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

DRT Ile-de-France

ENST 31/01/20025

• Simulation logicielle du matériel

• Certaines opérations internes à un microprocesseur peuvent être la source d’événements

• Programmation événementielle de l’environnement, des observateurs et oracles :

cause d’un événement :

- opération du microprocesseur

- décision d’une action programmée

événement :

affectation d’une valeur à une variable à une date

conséquences d’un événement :

actions programmées en C

Principes

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

DRT Ile-de-France

ENST 31/01/20026

Description du test :• Environnement, observateurs, oracles

• Bibliothèque

• Correspondance événements – actions

• Description des microprocesseurs utilisés

• Placement des sondes

Compilation Simulation

• Traces

• Panneaux d’interactions

Dépouillement• Courbes

• Automate de recherche

• Couverture du code

Démonstration

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

DRT Ile-de-France

ENST 31/01/20027

• Performances : 1 sec. de 68040 1 sec. sur PC Linux récent

• Validation : via émulateurs, compteurs de performance,…

• Technologie de développement :d’abord 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

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

DRT Ile-de-France

ENST 31/01/20028

Génération de tests

Environnement

Application

Oracle

e s

v

Assertions sur l’environnement

Modèle

Objectif de test

e

s

v

True

True

LUSTRE

CLAIRE

GATeL

traducteur