Thesis defense - Emilien Kofman

When : 
27/02/2017 10:30 - 11:30
Where : 
Room Euler bleu - Inria Research Centre
Description : 

The second Labex funded thesis defense will take place on February, 27th!

Low Power Application Architecture Adaptation using SMT solvers
Emilien Kofman

We describe the Symsched methodology and environment for AAA design (Application Architecture Adequation). It allows to evaluate the energy/performance balance for a given embedded system. We translate the different components of the problem (application requirements et architecture provisions) in a system of equations and inequations made of integer variables for the modeling of temporal aspects and boolean variables for the modeling of admissible task mapping and resource states. We then submit this problem to an automatic search engine SMT solver (SAT Modulo Theories). We study the scalability of this methodology and its compromises with models expressiveness. We then study synthetic, realistic and real scheduling problems using this approach.

Adéquation Algorithme Architecture automatisée par solveur SMT

Nous décrivons la méthode Symsched et l'environnement de conception AAA (Adéquation Algorithme Architecture). Cette méthodologie permet d'évaluer les compromis énergie/performance pour un système embarqué. Nous transformons les composants du problème (exigences de l'application et capacités de l'architecture) en un système d'équations et inéquations sur des variables entières pour la modélisation des aspects temporels et sur des variables booléennes pour modéliser les alternative de placement des tâches et de niveau de performance des ressources. Le modèle mathématique généré est ensuite soumis à un solveur SMT (SAT Modulo Theories). Nous étudions le passage à l'échelle de cette approche et ses compromis avec l'expressivité des modèles. Enfin nous appliquons ces outils à des problèmes d'ordonnancement sur des cas synthétiques, réalistes et réels.