L'Agence nationale de la recherche Des projets pour la science

Translate this page in english

Technologies logicielles (TLOG) 2007
Projet TESTEC

Génération automatique de tests à partir de modèles pour systèmes temps réel embarqués critiques

Le projet TESTEC est un projet de recherche industrielle qui réunit deux industriels : un utilisateur (EDF R&D) et un éditeur de logiciel pour l’ingénierie des systèmes embarqués temps réel et les automatismes industriels (TNI Software), et quatre laboratoires d’automatique et d’informatique (I3S, INRIA Rennes, LaBRI, LURPA). Ce projet s’intéresse à la génération automatique et à l’exécution des tests de systèmes embarqués temps réel dont les caractéristiques, partagées par plusieurs industriels, notamment de l’énergie, des transports maritimes, aériens ou ferroviaires, sont les suivantes : - Ils doivent assurer conjointement des fonctions de commande de systèmes logiques (gestion de sécurités, d’actionneurs, de modes de fonctionnement, …) et de systèmes continus (régulation de processus, …) ainsi que des fonctions de dialogue homme-machine et de communication. - Ils manipulent un très grand nombre de données de nature différente (variables logiques, entiers, flottants, …). - La diversité des fonctions qu’ils assurent conduit à l’utilisation, lors de leur développement, de plusieurs langages de spécification (diagrammes fonctionnels logiques et analogiques, réseaux de Petri, UML) et d’implantation (langages de l’informatique temps réel comme C, C++, langages métier de l’automatique, tels ceux des normes CEI 61131-3 et CEI 61499, par exemple le Ladder Diagram, ou langages de l’électronique comme VHDL). - Ils sont éminemment critiques. Plus précisément le projet TESTEC cherche à lever deux verrous technologiques : - l’optimisation des techniques de génération de tests pour les systèmes de grande taille, notamment par la gestion explicite du temps dans les modèles et par la gestion des variables continues et discrètes d’une application hybride , - la réduction de la taille des tests déduits des modèles de spécification en utilisant les résultats de vérifications formelles conduites sur des modèles d’implantation. L’objectif du projet est de proposer un démonstrateur de génération et d’exécution automatique de tests basé sur des environnements existants et intégrant les résultats scientifiques du projet.

Partenaires

 DASSAULT SYSTEMES

 ECOLE NORMALE SUPERIEURE DE CACHAN

Entreprise autre que TPE ou PME

Entreprise autre que TPE ou PME

 INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE - INRIA

PME

 UNIVERSITE BORDEAUX I

 UNIVERSITE DE NICE - SOPHIA ANTIPOLIS

Aide de l'ANR 969 654 euros
Début et durée du projet scientifique - 36 mois

 

Programme ANR : Technologies logicielles (TLOG) 2007

Référence projet : ANR-07-TLOG-0022

Coordinateur du projet :
ECOLE NORMALE SUPERIEURE DE CACHAN (ECOLE NORMALE SUPERIEURE DE CACHAN)

 

Revenir à la page précédente

 

L'auteur de ce résumé est le coordinateur du projet, qui est responsable du contenu de ce résumé. L'ANR décline par conséquent toute responsabilité quant à son contenu.