Low power application architecture adaptation using SMT solvers

Émilien Kofman 1
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués, Inria de Paris
Résumé : Nous décrivons l'environnement et la méthode Symsched dédiée à la conception conjointe dite AAA (adéquation algorithme architecture) prenant en compte les différents compromis performance énergie admissibles pour un système embarqué. Nous traduisons les descriptions des différents composants (exigences de l'application et capacités de l'architecture) en un système d'équations et inéquations composé de variables entières qui modélisent les aspects temporels et de variables booléennes qui modélisent les différentes alternatives de placement des tâches. Ce problème est ensuite soumis à un outil de résolution automatique de type SMT (SAT Modulo Theories). Notre objectif est d'étudier le passage à l'échelle de telles méthodes et donc le compromis entre le niveau de description et l'expressivité portant sur les différents aspects nécessaires à la modélisation. Nous appliquons ensuite cette technique à des problèmes d'ordonnancement abstraits, réalistes et réels.
Keywords : Non fourni
Type de document :
Thèse
Other [cs.OH]. Université Côte d'Azur, 2017. English. 〈NNT : 2017AZUR4009〉
Liste complète des métadonnées

Littérature citée [243 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-01534440
Contributeur : Abes Star <>
Soumis le : mercredi 7 juin 2017 - 15:36:07
Dernière modification le : lundi 10 juillet 2017 - 11:35:19
Document(s) archivé(s) le : vendredi 8 septembre 2017 - 12:57:33

Fichier

2017AZUR4009.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-01534440, version 1

Collections

Citation

Émilien Kofman. Low power application architecture adaptation using SMT solvers. Other [cs.OH]. Université Côte d'Azur, 2017. English. 〈NNT : 2017AZUR4009〉. 〈tel-01534440〉

Partager

Métriques

Consultations de
la notice

234

Téléchargements du document

103