Projets ANR portés par le LURPA
L'Agence Nationale de la Recherche (ANR), a pour mission d'augmenter la dynamique du système français de recherche et d'innovation en mettant en oeuvre le financement de la recherche sur projet.
Chaque année, l'ANR lance différents appels à projets (APP). Les projets reçus sont ensuite sélectionnés selon leur adéquation à l'appel proposé, la qualité scientifique du dossier, la qualité des partenaires présents et la pertinence économique pour les entreprises.
Le LURPA est naturellement impliqué dans ce type de projets.
Chaque année, l'ANR lance différents appels à projets (APP). Les projets reçus sont ensuite sélectionnés selon leur adéquation à l'appel proposé, la qualité scientifique du dossier, la qualité des partenaires présents et la pertinence économique pour les entreprises.
Le LURPA est naturellement impliqué dans ce type de projets.
Projets ANR portés par l'Equipe ISA
VACSIM
Le projet VACSIM porte sur la Validation de la commande des systèmes critiques par couplage simulation et méthodes d'analyse formelle.
Son objectif consiste à tirer profit des avantages respectifs des techniques de simulation, en incluant des modèles des processus commandés, et des méthodes d'analyse formelles, pour la validation de la commande des systèmes critiques.
Partenaires
Son objectif consiste à tirer profit des avantages respectifs des techniques de simulation, en incluant des modèles des processus commandés, et des méthodes d'analyse formelles, pour la validation de la commande des systèmes critiques.
Partenaires
Projet ANR-11-INSE-004
- Correspondant scientifique :
- Jean-Marc FAURE
- Période :
- 01/10/11 au 31/03/15
- Durée : 42 mois
TESTEC
Le projet TESTEC portait sur le TEst des Systèmes Temps réel Embarqués Critiques.
La problématique principale du test fonctionnel est la maitrise de l'explosion combinatoire induite par la génération automatique de tests à partir des modèles représentatifs des spécifications du système à tester tout en garantissant un taux de couverture satisfaisant.
Partenaires
La problématique principale du test fonctionnel est la maitrise de l'explosion combinatoire induite par la génération automatique de tests à partir des modèles représentatifs des spécifications du système à tester tout en garantissant un taux de couverture satisfaisant.
Partenaires
Projet ANR-07-TLOG-022
- Correspondant scientifique :
- Jean-Marc FAURE
- Période :
- 01/03/08 au 31/08/11