Modèles de calcul interopérables et optimisés pour la modélisation multi-niveaux et la simulation efficace de systèmes homogènes et hétérogènes complexes

La présentation résume les activités de recherche menées depuis 15 ans dans le domaine de la modélisation et la simulation informatique des systèmes multidisciplines (Numérique, AMS, Physique, Thermique, Optique, RF, Chimique, Biologique) complexes assistés par des architectures numériques massivement parallèle de type MPSoC. Il porte plus exactement sur les niveaux d’abstraction et les modèles de calcul utilisés en vue du prototypage virtuel simple et efficace de systèmes, ainsi que sur les outils logiciels permettant leur simulation rapide, paralléli- sable sur des machines SMP. Les 5 modèles de calcul décrits (Cycle-Accurate Bit Accurate CABA, RTL synthétisable, Transaction Level Modeling with Distributed Time TLM-DT, Modélisation AMS conservative VHDL-AMS, Modélisation AMS non-conservative en SystemC-AMS avec Timed Data- Flow TDF) sont présentés suivant le même schéma : la représentation du temps, la définition d’un comportement élémentaire, la représentation des signaux, la composition des modèles, l’algorithme de résolution (solveur). Chaque modèle de calcul présenté est accompagné de nombreux exemples d’utilisation (MP2SoC tolérant aux pannes franches, réseaux de capteurs, laboratoire sur puce) montrant les passerelles méthodologiques établies entre des disciplines qui sont encore partiellement isolées aujourd’hui.

7 Docteurs 2009 - 2017