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

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.