Contributions à la modélisation et la simulation de niveau système des architectures matérielles-logicielles des systèmes embarqués

Autor: Le Nours, Sébastien

Publikováno v: Electronics. Nantes Université, 2022

This document presents my research activities since my recruitment at the University of Nantes in September 2004. These activities were successively carried out within the IREENA laboratory (Institute for Research in Electronics and Electrotechnics o

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e376c37847e474e6247c93407ec6874b
https://hal.science/tel-03884261

Méthodes Formelles pour la vérification fonctionnelle des systèmes sur puce cache cohérent

Autor: Kriouile, Abderahman

Publikováno v: Logic in Computer Science [cs.LO]. Université Grenoble Alpes, 2015. English. ⟨NNT : ⟩
Logic in Computer Science [cs.LO]. Université Grenoble Alpes, 2015. English

State-of-the-art System-on-Chip (SoC) architectures integrate many different components, such as processors, accelerators, memories, and I/O blocks. Some of those components but not all may have caches. Because the effort of validation with simulatio

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::54d821086a12f140104d412f5312dfd8
https://inria.hal.science/tel-01258784

Développement d'une approche multi-échelle de modélisation de dispositifs thermoélectriques : application à des systèmes de capteurs sans fils autonomes sur le corps humain

Autor: Bella, Malika

Les dispositifs thermoélectriques, basés sur la conversion d'énergie thermique, offrent des perspectives intéressantes pour le développement de systèmes autonomes. Les principaux défis pour le développement de telles technologies reposent sur

Externí odkaz: http://www.theses.fr/2016AIXM4755

Contribution au domaine de la conception d’objets communicants embarqués basse consommation et autonomes en énergie

Autor: Pegatoquet, Alain

Publikováno v: Systèmes embarqués. Université de Nice Sophia Antipolis, 2013

This report proposes a synthesis of my research and teaching activities. Since 2008, as associate professor at the University of Nice Sophia Antipolis, I did my research into the MCSOC team from the LEAT laboratory. For nearly 15 years, my activity i

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______2592::7357380ae42abdabd20de5ddc64c6e25
https://hal.archives-ouvertes.fr/tel-01353348

Une méthodologie de conception de modèles analytiques de surface et de puissance de réseaux sur puce hautement paramétriques basée sur une méthode d'apprentissage automatique

Autor: Dubois, Florentine

Les réseaux sur puces (SoCs - Networks-on-chip) sont apparus durant la dernière décennie en tant que solution flexible et efficace pour interconnecter le nombre toujours croissant d'éléments inclus dans les systèmes sur puces (SoCs - Systems-on

Externí odkaz: http://www.theses.fr/2013GRENM026/document