Compilation efficace de spécifications de contrôle embarqué avec prise en compte de propriétés fonctionnelles et non-fonctionnelles complexes

Thomas Carle 1
1 BANG - Nonlinear Analysis for Biology and Geophysical flows
LJLL - Laboratoire Jacques-Louis Lions, Inria Paris-Rocquencourt
Résumé : Une séparation existe de longue date entre les domaines de la compilation et de l'ordonnancement temps-réel. Si ces deux domaines ont le même objectif - la construction d'implantations correctes - la séparation se justifie historiquement par des différences significatives entre les modèles et les méthodes utilisés. Cependant, avec la complexification des applications et du materiel qui les exécute, les problèmes étudiés dans ces deux domaines se confondent désormais largement. Dans cette thèse, nous nous concentrons sur la génération automatique de code pour des systèmes de contrôle embarqué incluant des contraintes complexes (notamment temps-réel). A ces fins, nous défendons l'idée qu'il est profitable de fournir un effort commun de recherche entre ces deux communautés. En adaptant une technique de compilation au problème d'ordonnancement temps réel d'applications sur des architectures multiprocessurs, nous montrons à la fois les difficultés inhérentes à cet effort commun, mais aussi les possibles avancées qu'il porte. En effet, nous montrons que l'adaptation de techniques d'optimisation à de nouveaux objectifs, dans un contexte différent facilite le développement de systèmes de meilleure qualité. Nous proposons d'utiliser les formalismes et langages synchrones comme base formelle commune dans ce travail d'adaptation. Ceux-cis étendent naturellement les modèles classiques utilisés pour l'ordonnancement temps réel (graphes de tâches dépendentes) et la compilation (SSA et graphes de dépendence de données), et fournissent également des techniques efficaces pour la manipulation de structures de contrôle complexes. Nous avons implanté nos résultats dans le compilateur LoPhT.
Type de document :
Thèse
Base de données [cs.DB]. Université Pierre et Marie Curie - Paris VI, 2014. Français. < NNT : 2014PA066392 >
Liste complète des métadonnées


https://hal.inria.fr/tel-01088786
Contributeur : Thomas Carle <>
Soumis le : vendredi 28 novembre 2014 - 16:30:23
Dernière modification le : dimanche 2 juillet 2017 - 01:07:45
Document(s) archivé(s) le : vendredi 14 avril 2017 - 23:10:20

Fichier

Identifiants

  • HAL Id : tel-01088786, version 1

Collections

Citation

Thomas Carle. Compilation efficace de spécifications de contrôle embarqué avec prise en compte de propriétés fonctionnelles et non-fonctionnelles complexes. Base de données [cs.DB]. Université Pierre et Marie Curie - Paris VI, 2014. Français. < NNT : 2014PA066392 >. <tel-01088786>

Partager

Métriques

Consultations de
la notice

1155

Téléchargements du document

280