Chapitre 6:

La Covrification

M. Koudil- Ecole nationale Suprieure dInformatique 1

2

Les diffrentes tapes

Cospcification

Contraintes de Modlisation
lenvironnement

Ordonnancement/
Architecture Cible Partitionnement

Partition Hardware Partition Software

Covrification

Synthse
M. Koudil- Ecole nationale Suprieure dInformatique 2
3

La covrification

Vrifier:

Les fonctionnalits,

Le respect des contraintes de l'application

(caractristiques temporelles, de consommation...)

Les performances...

M. Koudil- Ecole nationale Suprieure dInformatique 3

4

La covrification

Mthode de validation la plus utilise: la cosimulation;

Description Description Description

du Hw de l'Interface du Sw

Outil
de cosimulation

M. Koudil- Ecole nationale Suprieure dInformatique 4

5

La covrification
La cosimulation
Problmes de mise en correspondance de formalismes et
d'outils de simulation trs diffrents;
Problmes de communication et de synchronisation
des outils;
Ne peut garantir que le systme est exempt de fautes une
fois ralis.
Permet d'obtenir des caractristiques dynamiques
souvent
plus prcises qu'une approche formelle
(caractristiques temporelles, de cot de matriel...).
Permet de dtecter des goulots d'tranglement sur un
bus;
M. Koudil- Ecole nationale Suprieure dInformatique 5
6

La covrification
Les approches formelles
Seules pouvoir garantir que le systme:
ralise les fonctionnalits requises;
respecte toutes les contraintes fixes;
est exempt de comportements non dsirs.
Difficult de dchiffrer les traces d'erreurs gnres
et de dterminer la cause exacte d'une panne;
Explosion du nombre d'tats pour certaines
approches formelles.

M. Koudil- Ecole nationale Suprieure dInformatique 6

7

La covrification
Solution:

Utiliser des approches mixtes utilisant les deux

techniques.

M. Koudil- Ecole nationale Suprieure dInformatique 7

8

La covrification: conclusion

Inconvnients des approches existantes :

Problme peu abord par les quipes de codesign;

La cosimulation ne peut pas garantir que le systme

est exempt de fautes;

Outils de cosimulation trs ddis (en fonction des

formalismes de cospcification);

Peu doutils de preuve formelle

M. Koudil- Ecole nationale Suprieure dInformatique 8