pen icon Colloque
quote

Covérification des systèmes intégrés. Étude et analyse

Mostafa Azizi
Imed-Eddine Bennom
Aboulhamid El Mustapha
MA

Membre a labase

Mostafa Azizi

Résumé du colloque

La covérification des systèmes intégrés, étant une nouvelle perception de vérification très prometteuse, revêt un intérêt économique potentiel à l'heure actuelle. Elle consiste à vérifier simultanément les deux parties composantes, logicielle et matérielle, d'un système au fur et à mesure que son design se réalise. Cet article expose les concepts de la covérification et pose formellement son problème. Aussi, présente-il ses différentes techniques et les modèles de représentation des graphes d'états d'un système à covérifier. Puis, il analyse et évalue les différentes méthodes d'accélération de l'accessibilité, et avant de clore, il décrit brièvement quelques environnements récents de codesign et de covérification.

Contexte

Section :
Génie informatique
news icon Thème du colloque :
Génie informatique
host icon Hôte : Université Laval

Découvrez d'autres communications scientifiques

news icon

Titre du colloque :

Génie informatique
Description structurée d'objets 3D multi-parties à partir d'une image 2D unique
Guillaume-Alexandre Bilodeau
La mesure des activités coopératives retrouvées lors d'une réunion de révision technique du process…
Patrick D'Astous
Des réseaux et des hommes
Marie Sabot
Voir tous les contenus de ce colloque

Autres communications du même congressiste :

news icon

Thème du colloque :

Génie informatique
Covérification des systèmes HW/SW basée sur le concept de multithreading
Mostafa Azizi
Covérification des systèmes HW/SW basée sur le concept de multithreading
Mostafa Azizi
Covérification des systèmes intégrés. Étude et analyse
Mostafa Azizi