Présentation

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 :

  1. l'absence de défauts intrinsèques dans la manipulation de la mémoire ;
  2. 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 :
  1. Définition de modèles adéquates pour les programmes analysés
  2. Conception de nouvelles techniques algorithmiques pour la vérification symbolique de tels modèles
  3. Développement de prototypes d'outils implémentant des algorithmes de vérification
  4. Intégration des outils dans une plate-forme commune

Rapport à mi-parcours et fournitures

Rapports finaux et fournitures

Outils

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 : 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.

Membres

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.

VERIMAG LIAFA LSV EDF R & D ALYOTECH
Marius Bozga
Radu Iosif
Adam Rogalewicz
Polyvios Pratikakis
Ahmed Bouajjani
Constatin Enea
Peter Habermehl
Antoine Meyer
Ahmed Rezine
Mihaela Sighireanu
Rémi Brochenin
Stéphane Demri
Alain Finkel
Etienne Lozes
Arnaud Sangnier
Philippe Schnoebelen
Jules Villard
Sébastien Labbé
N Thuy
Fabien Levacher

Réunions

Réunions pleinières

Réunions techniques

Contacts