OUTILS D'AIDE A LA CONCEPTION
Ce thème concerne les méthodes et outils pour la modélisation, la conception et la validation des logiciels embarqués et des systèmes sur puce. L'objectif est de fournir des outils réduisant le coût et les délais de conception et de validation de systèmes hétérogènes (combinant notamment du logiciel et du matériel), soumis à des contraintes fonctionnelles et non fonctionnelles (temps de réponse, espace mémoire, consommation, ...), et souvent utilisés dans un environnement hostile (par exemple dans l'espace) et pour des tâches critiques.
Les résultats obtenus dans le passé incluent le transfert du langage Lustre au sein de l'atelier Scade (Esterel), et celui d'outils de vérification et de test de logiciel (Telelogic) et de circuits (Iroc). Un essaimage est en cours pour l'industrialisation de la synthèse de circuits asynchrones (Tiempo). Les principales collaborations en cours sont avec STMicroelectronics (prototypage virtuel, validation de systèmes sur puce, exploration et évaluation d'architectures), Astrium, Airbus et CS (projets européens ASSERT et SPEEDS sur l'ingénierie basée sur les modèles), France-télécom (modélisation et analyse de réseaux de capteurs, architectures reconfigurables), Dolphin Intégration (vérification de systèmes à l'aide d'assertions).
Les résultats obtenus dans le passé incluent le transfert du langage Lustre au sein de l'atelier Scade (Esterel), et celui d'outils de vérification et de test de logiciel (Telelogic) et de circuits (Iroc). Un essaimage est en cours pour l'industrialisation de la synthèse de circuits asynchrones (Tiempo). Les principales collaborations en cours sont avec STMicroelectronics (prototypage virtuel, validation de systèmes sur puce, exploration et évaluation d'architectures), Astrium, Airbus et CS (projets européens ASSERT et SPEEDS sur l'ingénierie basée sur les modèles), France-télécom (modélisation et analyse de réseaux de capteurs, architectures reconfigurables), Dolphin Intégration (vérification de systèmes à l'aide d'assertions).