Le projet AVERILES est support� par le RNTL (R�seau National des Technologies Logiciels) de l'ANR (Agence Nationale de la Recherche).
Description du projet :
Le but de ce projet est de d�velopper des techniques avanc�es pour l'analyse et la v�rification de logiciels embarqu�s complexes. Le projet vise en particulier le traitement de programmes multi-t�ches avec allocation de m�moire dynamique et manipulation de pointeurs. Il s'agit de d�velopper une approche outill�e pour v�rifier :
- l'absence de d�fauts intrins�ques dans la manipulation de la m�moire ;
- des propri�t�s sur la structure de la m�moire pour de genre de logiciels embarqu�s complexes.
Des exemples de tels programmes sont ceux utilis�s par EDF dans des syst�mes d'aide � l'exploitation de production d��nergie.
Objectifs du projet
Ce projet comprend plusieurs volets :
- D�finition de mod�les ad�quates pour les programmes analys�s
- Conception de nouvelles techniques algorithmiques pour la v�rification symbolique de tels mod�les
- D�veloppement de prototypes d'outils impl�mentant des algorithmes de v�rification
- Int�gration des outils dans une plate-forme commune
Dans le cadre du projet AVERILES, diff�rents outils permettant de v�rifier des programmes manipulant dynamiquement la m�moire ont �t� d�velopp�s. Voil� la liste des outils existants actuellement :
- Pour des programmes manipulant des listes simplement cha�n�es : L2CA
- Pour des programmes manipulant des listes simplement chaînées:TOPICS
- Pour des programmes manipulant des structures de donn�es plus complexes : ARTMC
Ces outils seront regroup�s au sein d'un outil servant � les interfacer.
De plus, une base de donn�es commune d'exemples de programmes � analyser est disponible ici.
Le projet RNTL AVERILES rassemble trois laboratoires fran�ais: le VERIMAG � Grenoble, le LSV � Cachan et le LIAFA � Paris. Participent �galement au projet EDF R&D et ALYOTECH. Dans le tableau qui suit, les noms en gras indiquent les responsables du projet.
Réunions pleinières
- 13 Octobre 2009 (LIAFA)
- 27 Mai 2009 (LIAFA)
- 17 Novembre 2008 (LIAFA)
- 11 Juin 2008 (LIAFA)
- 18 Février 2008 (LIAFA)
- 12 Juillet 2007 (LSV)
- 5-6 Mars 2007 (LIAFA) (Réeunion coorganisée avec le projet ANR AVERISS)
- 6 Novembre 2006 (LIAFA)
- 7 Juin 2006 (LIAFA)
- 15 Mars 2006 (LIAFA)
- 23 Janvier 2006 (LIAFA)
Réunions techniques
- 20 Mai 2008 : Discussion Modèles + Concurrence (LSV)
- 20/21 Mars 2008 : Discussion sur la concurrence (VERIMAG)
- 23 Mai 2007 : Discussion sur les modèles (LIAFA)
- 5 Avril 2007 : Discussion sur les modèles (VERIMAG)
- 28 Novembre 2006 : Discussion sur l'étude de cas (LIAFA)