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 +

QUARTEFT

Qualifiable Real TimE Fiacre Transformations

Les nouvelles chaînes de développement de systèmes critiques reposent sur des langages de modélisation spécifiques au métier ciblé et sur des transformations qualifiées (assurance que la transformation préserve les propriétés d’intérêts) entre langages. Le projet FIESTA vise à développer les technologies pour faciliter cette approche dans le contexte des systèmes embarqués temps-réel. Il s’appuie d’une part sur la définition de langages pivots dédiés et sur l’exploitation de techniques formelles pour prouver la correction des transformations. L’étude proposée s’appuie sur le langage FIACRE, un des langages pivots pour la vérification formelle des aspects temps-réel dans le projet TOPCASED (http://www.topcased.org/) ; il factorise et optimise la chaîne de traduction entre les langages "métier" tels que SDL, AADL, ... et les outils de vérifications de modèles tels que TINA et CADP. Cette proposition vise à renforcer cette approche sur deux aspects complémentaires : d'une part, définir des extensions de FIACRE lui permettant de prendre en compte de façon native des concepts de haut niveau tels que les modes, les notions de partitionnement temporel, les constructeurs temps-réel; et d'autre part développer les techniques de validation et vérification des transformations de FIACRE étendu (nommé RT-FIACRE) vers FIACRE et les outils de vérification pour disposer d'une chaîne sûre complète allant des outils de modélisation métier aux outils de
vérifications.

Partenaires :

Coordinateur LAAS
AIRBUS
ELLIDISS TECHNOLOGIES
INRIA
IRIT
ONERA

Coordinateur et contact :

VERNADAT François
francois.vernadat@laas.fr

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