Programmation sûre de plates-formes embarquées de type multi/pluri-cœurs

L’objectif de ce document est de decrire une synthese des travaux que j’ai menes autour du theme de "la programmation sure de plates-formes embarquees" et de proposer des perspectives de recherche pour les annees a venir.