Les dépôts de projets se font directement sur le site de l'IRT SAINT EXUPERY à l'adresse suivante :
Appel à projets IRT St EXUPERY Edition Novembre 2023 : https://www.irt-saintexupery.com/frae/

 

Merci de prendre connaissance de la fiche technique dans le dispositif d'appel à projets IRT ST EXUPERY Edition Novembre 2023 : FICHE TECHNIQUE

LES EXPERTS

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

EN SAVOIR +

Liste des projets

Liste des projets du thème Méthodes de vérification des systèmes et logiciels

  • ALPROSE - Architecture et Langage pour la PROgrammation et la vérification de Systèmes perceptifs Embarqués - (Appel N° 6)
  • ASCERT - Analyses Statiques CERTifiées - (Appel N° 6)
  • CAVALE - Combinaison d'Analyses pour la VAlidation des Logiciels Embarqués - (Appel N° 6)
  • QUARTEFT - Qualifiable Real TimE Fiacre Transformations - (Appel N° 6)
  • SARDANES - Sémantique, Analyse et tRansformation Des Applications Numériques Embarquées Synchrones - (Appel N° 6)

Fondation de Recherche pour l'Aéronautique et l'Espace
F.R.A.E. - Bâtiment B612 - 3 rue Tarfaya - CS 34436 - 31405 Toulouse Cedex 4
Tél. : 05 61 00 67 80 - Mail : nathalie.spindler@irt-saintexupery.com