PhD graduated
Team : CIAN
Departure date : 07/13/2017

Supervision : François PÊCHEUX

Principes et réalisation d'un environnement de prototypage virtuel de systèmes hétérogènes composables

Current and future microelectronics systems are more and more complex. In a aim to bridge the gap between the cyber/digital world and the physical world in which we evolve we observe the emergence of multi-disciplinary systems that interact more and more with their close surrounding environment. The conception of such systems requires the knowledge of multiple scientific disciplines (electrical, optical, thermal, mechanical, acoustic, chemical or biological) which tends to define them as heterogeneous systems. Designers of the upcoming digital-centric More-than-Moore systems are lacking a common design and simulation environment able to efficiently manage all the multi-disciplinary aspects of its components of various nature, which closely interact with each other.
In this thesis we explore the possibilities of developing and deploying a unified SystemC-based design environment for virtual prototyping of heterogeneous systems. In order to overcome the challenges related to their specification and dimensioning this environment must be able to simulate a complex heterogeneous system as a whole, for which each component is described and solved using the most appropriate Model of Computation (MoC).
We propose a simulator prototype called SystemC Multi Disciplinary Virtual Prototyping (MDVP) which is implemented as an extension of SystemC. It follows a correct-by-construction approach, relies on a hierarchical heterogeneity representation and interaction mechanisms with master-slave semantics in order to model heterogeneous systems. Generic algorithms allow for the elaboration, simulation and monitoring of such systems.
We also provide a methodology to incorporate new Models of Computation within the SystemC MDVP environment. We follow this methodology to integrate a Smoothed Particle Hydrodynamics (SPH) MoC that allows for the description of fluidic network. This MoC is then used to model a prototype of a point-of-care blood analysis system.
Eventually, we realized a case study of a passive RFID reading system that requires several interacting MoCs in order to be modeled. We compare the simulation results with measures acquired on a real physical prototype of a passive RFID reading system.

Defence : 07/12/2017 - 14h - Site Jussieu 25-26/105

Jury members :

M. Frédéric Pétrot, ENSIMAG-TIMA/SLS [Rapporteur]
Mme. Cécile Belleudy, Université de Nice-Sophia Antipolis [Rapporteur]
M. Ian O’Connor, Ecole Centrale Lyon
M. Matthieu Moy, Laboratoire Verimag
M. Filipe Vinci dos Santos, Ecole Centrale-Supelec
Mme. Emmanuelle Encrenaz, Université Pierre et Marie Curie
Mme. Marie-Minerve Louërat, Université Pierre et Marie Curie
M. François Pêcheux, Université Pierre et Marie Curie

2014-2017 Publications