Modèles de haut niveau pour la réduction de la consommation d'énergie des systèmes embarqués – HELP
Dans tous les domaines des systèmes embarqués, il est nécessaire de manipuler des modèles de haut niveau disponibles tôt dans le cycle de vie, et exécutables. De tels modèles, pour les propriétés fonctionnelles, commencent à faire leur chemin dans l'industrie. Pour les systèmes sur puce, l'approche TLM (transaction-level-modeling) et ses implantations en SystemC sont relativement mûres. Ce projet s'attaque à trois points essentiels : - Comment définir la sémantique des modèles de haut niveau, de la manière la plus abstraite possible, et indépendamment d'un langage de description et de sa mécanique de simulation - Comment inclure des informations non fonctionnelles (typiquement la consommation d'énergie) dans les modèles de haut niveau, de manière couplée avec les aspects fonctionnels. - Comment mettre en oeuvre ces modèles dans les outils industriels du domaine
Coordination du projet
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.
Partenaire
Aide de l'ANR 0 euros
Début et durée du projet scientifique :
- 0 Mois