Les dépôts de projets se font directement sur le site de l'ANR à l'adresse suivante :
Appel à projets générique Edition 2016: http://www.agence-nationale-recherche.fr/AAPG2016


Merci de prendre connaissance du schéma général d'application de l'accord FRAE/ANR dans le dispositif d'appel à projets générique de l'ANR 2016

LES EXPERTS

Les Experts scientifiques et industriels sont des personnes « extérieures » à la Fondation.

EN SAVOIR +

CAVALE

Combinaison d'Analyses pour la VAlidation des Logiciels Embarqués

La vérification de code embarqué critique est aujourd'hui essentiellement effectuée par analyse dynamique sous la forme de jeux de test. Les méthodes formelles d'analyse statique seront amenées à jouer un rôle de plus en plus important, compte tenu de l'augmentation de la taille des systèmes ainsi que des exigences de certification. Chaque méthode (interprétation abstraite, preuve de propriété par calcul de plus faible précondition, etc) possède ses forces et ses faiblesses propres et nécessite une mise en oeuvre spécifique. L'objectif de ce projet est double. Il s'agit d'une part d'étudier et de proposer un cadre pour la collaboration d'analyses statiques afin d'en améliorer la précision et d'en faciliter le passage à l'échelle; et d'autre part de permettre une intégration harmonieuse de ces analyses dans les processus de validation et vérification utilisés actuellement.

Partenaires :

Coordinateur ONERA
AIRBUS
IRIT

Coordinateur et contact :

GAROCHE Pierre-Loïc
pierre-loic.garoche@onera.fr

  • Durée : 36 mois
  • Date de démarrage : 15/01/2009
  • Projet : terminé

 

Fondation de Recherche pour l'Aéronautique et l'Espace
F.R.A.E. - 10 Avenue Edouard Belin - 31400 Toulouse
Tél. : 05 62 88 69 92 - Mail : contact@fnrae.org