Tél. 05 61 00 67 80
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 scientifiques et industriels sont des personnes « extérieures » à la Fondation.
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.
Coordinateur ONERA
ONERA
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