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 +

SARDANES

Sémantique, Analyse et tRansformation Des Applications Numériques Embarquées Synchrones

SCADE est un langage largement utilisé pour le développement de systèmes embarqués critiques synchrones. D’abord utilisé pour la spécification, la simulation et la vérification de propriétés de sûreté de haut niveau, ce langage permet aussi de produire un code final via un processus de compilation. Il est alors légitime que l’utilisateur souhaite que les propriétés prouvées sur le modèle soient garanties pour le code objet. Actuellement, le principal obstacle à cela est que la sémantique de SCADE spécifie que les calculs sont effectués en nombres réels. Or le programme final utilise des nombres flottants dont l’arithmétique est très différente de celle des réels, notamment à cause des erreurs d’arrondi. Le but de ce projet est d’utiliser des techniques de transformation d’expressions tenant compte de la précision des calculs pour garantir la préservation des propriétés numériques lors de la compilation de SCADE. Les preuves de correction reposent sur une interprétation abstraite des différentes traces d’exécution obtenues.

Partenaires :

Coordinateur ELIAUS
ENS

Coordinateur et contact :

MARTEL Matthieu
matthieu.martel@univ-perp.fr

  • Durée : 44 mois
  • Date de démarrage : 01/02/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