Low power application architecture adaptation using SMT solvers

Émilien Kofman 1
1 KAIROS - Logical Time for Formal Embedded System Design
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
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 [103 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 5 novembre 2018 - 15:36:03
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

529

Téléchargements de fichiers

236