Thèse soutenue

Principes et réalisation d'un environnement de prototypage virtuel de systèmes hétérogènes composables
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Cédric Ben Aoun
Direction : François Pêcheux
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance le 12/07/2017
Etablissement(s) : Paris 6
Ecole(s) doctorale(s) : École doctorale Informatique, télécommunications et électronique de Paris
Partenaire(s) de recherche : Laboratoire : LIP6 (1997-....)
Jury : Président / Présidente : Ian O'Connor
Examinateurs / Examinatrices : Matthieu Moy, Filipe Vinci dos Santos, Marie-Minerve Louërat, Emmanuelle Encrenaz
Rapporteurs / Rapporteuses : Frédéric Pétrot, Cécile Belleudy

Résumé

FR  |  
EN

Les systèmes électroniques sont de plus en plus complexes et, dans le but de rapprocher le monde numérique et le monde physique, on observe l'émergence de systèmes multidisciplinaires interagissant de plus en plus avec leur environnement proche. Leur conception nécessite la connaissance de multiples disciplines scientifiques tendant à les définir comme systèmes hétérogènes. Le développement des systèmes à venir nécessite un environnement de conception et de simulation commun permettant de gérer la multidisciplinarité de ces composants de nature variés interagissant fortement les uns avec les autres. Nous explorons la possibilité de développer et déployer un environnement de prototypage virtuel unifié pour ces systèmes. Pour surpasser les contraintes liées à leur spécification et dimensionnement, cet environnement doit pouvoir simuler un système hétérogène dans son ensemble, où chaque composant est décrit et résolu en utilisant le MoC le plus approprié. Nous proposons un prototype de simulateur, SystemC MDVP, implémenté comme une extension de SystemC qui suit une approche correcte-par-construction, repose sur une représentation hiérarchique hétérogène et des interactions basées sur des sémantiques maitre-esclave afin de modéliser les systèmes hétérogènes. Des algorithmes génériques permettent l'élaboration, la simulation et le monitoring de tels systèmes. Une méthodologie pour incorporer de nouveaux MoCs est définie puis suivie afin d'ajouter le MoC SPH, qui permet la description de réseaux fluidique, à SystemC MDVP. Nous avons modélisé un système RFID passif en utilisant plusieurs MoCs. Les résultats sont comparés avec des mesures acquises sur un vrai prototype physique.