ValSys

Plan

Présentation

Buts et moyens

JSLC 2000

JSLC 2001

Projets-pilote

Club des Partenaires

Nous contacter

Liens

Le laboratoire lcis ou Laboratoire de Conception et d'Intégration des Systèmes a pour thèmes de recherche la conception, l'intégration et la validation de systèmes. Il développe une approche descendante, du système vers ses constituants élémentaires. Il met en œuvre des outils de modélisation et de simulation, réalise des systèmes et élabore les outils de validation. Il y a deux thématiques au sein du laboratoire : Systèmes Optiques (OpSys) et Validation de Systèmes intégrés (ValSys).

Trois ans après sa création, le laboratoire regroupe une quinzaine de personnes dont 3 professeurs d'Université et 4 Maîtres de Conférences.

Le groupe Validation de Systèmes Intégrés propose des solutions dans le champ de la validation de systèmes intégrés complexes, ainsi qu'une approche qui renforce la maîtrise du processus global de vérification dans la chaîne de production d'un système. Les axes de recherche développés sont les suivants :

- l'analyse de l'adéquation des techniques d'analyse de testabilité du matériel appliquées au logiciel. Lors de la conception d'un système intégré, dont les choix de réalisation peuvent être à base de matériel, de logiciel ou bien un compromis entre les deux, l'analyse de testabilité permet d'orienter vers une conception testable du système. Autant de nombreux travaux de recherche ont donné lieu à des méthodes et outils d'évaluation de testabilité du matériel, autant ce problème peut être considéré comme peu exploré dans le domaine du logiciel : c'est pourquoi nous avons transposé les concepts et méthodes de testabilité du domaine matériel au domaine logiciel.

- le développement de méthodes de test fonctionnel ou comportemental pour pallier les difficultés d'application des méthodes de test élaborées à partir de descriptions structurelles, face à la croissance du degré d'intégration des systèmes ; ces méthodes s'appuient sur des langages de description de matériel de haut niveau (vhdl), avec deux problèmes à étudier : définir des modèles de fautes de haut niveau ainsi que des mesures de testabilité au niveau comportemental, et les valider par rapport aux modèles et mesures traditionnels;

- l'élaboration de nouvelles méthodes d'aide à la conception testable de systèmes matériels/logiciels. Une telle démarche est explorée à travers trois axes complémentaires. Un premier axe consiste à considérer le test et la testabilité comme critères du partitionnement logiciel/matériel. Le deuxième axe étudie l'impact du choix d'architecture et des méthodes d'écriture (en vhdl par exemple) sur la testabilité de l'implémentation matérielle résultante. Le troisième axe consiste à tirer profit des techniques de conception testable de bas niveau en cherchant à les adapter aux spécifications de haut niveau, pour améliorer la testabilité de ces systèmes très tôt dans le processus de développement.