PhD graduated
Team : CIAN
Departure date : 01/12/2016

Supervision : François PÊCHEUX

Co-supervision : LOUËRAT Marie-Minerve

Principles and Implementation of a Generic Synchronization Interface between SystemC AMS Models of Computation for the Virtual Prototyping of Multi-Disciplinary Systems

The design of embedded systems is currently an increasingly complex problem. These systems tend to become heterogeneous in the sense that they require the integration of components described by means of different physical/engineering disciplines, for example, electrical, optical, thermal, mechanical, chemical, or biological. Besides, these disciplines can be described under different time domains, for example, Discrete Event (DE), Discrete Time( DT), or Continuous Time (CT). To address this problem, designers require modeling and simulation tools to describe the system's components under different time domains and synchronize them in the same simulation environment.
We explore the possibilities of modeling, simulating and synchronizing multi-disciplinary systems in the same environment, using as reference the SystemC Analog/Mixed-Signal (AMS) simulation standard. We analyze the method introduced in SystemC AMS for synchronizing the DE and DT domains, and we identify its drawbacks. Besides, we introduce a new formalization of the synchronization problem, which is used to detect issues in a model before simulation.
We propose a simulator prototype called SystemC Multi-Disciplinary Virtual Prototyping (MDVP), which is implemented as an extension of SystemC. It allows the modeling, and the generic hierarchical elaboration and simulation of multi-disciplinary systems, by means of different Models of Computation (MoCs). To build the MDVP simulator, we introduce a synchronization principle to handle interactions between MoCs.
In addition, we introduce a methodology to add, in the simulator prototype, MoCs described under different time domains. We apply this methodology to add a Timed Data Flow MoC in SystemC MDVP. This MoC implements the DT semantics introduced by the SystemC AMS standard, and is based on the synchronization principle between the DE and DT domains.
Using the TDF MoC, we implement and simulate a case study of a vibration sensor model and its digital front end circuit. This case study includes a feedback loop and several interactions between the DE and DT domains.

Defence : 01/12/2016 - 14h30 - Site Jussieu 55-65/211

Jury members :

O'CONNOR Ian, École Centrale de Lyon, France, [Rapporteur]
GRIMM Christoph, TU Kaiserslautern, Allemagne, [Rapporteur]
LEWIS Noëlle, Université de Bordeaux I, France
SAIAS Daniel, ASYGN, France
MUNIER Alix, Université Pierre et Marie Curie, France
PÊCHEUX François, Université Pierre et Marie Curie
LOUËRAT Marie-Minerve , Université Pierre et Marie Curie
VACHOUX Alain, École Polytechnique Fédérale de Lausanne, Suisse

2013-2020 Publications