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 +

ALPROSE

Architecture et Langage pour la PROgrammation et la vérification de Systèmes perceptifs Embarqués

Ce projet vise à définir une architecture informatique à déclenchement par le temps qui permette de vérifier formellement des propriétés importantes d’un système en particulier la garantie du maintien des échéances temporelles. Les systèmes ciblés sont des systèmes perceptifs embarqués à bord de petits drones. Ces systèmes impliquent des composants très variés, tout en imposant des contraintes extrêmement fortes en embarquement, sûreté et fonctionnement temps réel. L’architecture développée doit supporter l'ensemble des composants de ces systèmes perceptifs. Le projet vise également la définition d’un langage formel permettant de décrire les spécifications logiques et temporelles imparties aux différents applicatifs embarqués. Il vise à vérifier par calcul si l’exécution des applicatifs peut se conformer aux spécifications. Les applicatifs sont alors exécutables et le contrôle de l'exécution est produit par les compilateurs.

Partenaires :

Coordinateur ONERA
ONERA

Coordinateur et contact :

D'AUSBOURG Bruno
Bruno.d.Ausbourg@onera.fr

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