ANDRADE Liliana

Doktor
Forschungsgruppe : CIAN
Datum, an dem das LIP6 verlassen wurde : 12.01.2016
https://lip6.fr/Liliana.Andrade

Forschungsleitung (Direction de recherche) : François PÊCHEUX

Co-Betreuung : 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.

Verteidigung einer Doktorarbeit : 12.01.2016

Mitglieder der Prüfungskommission :

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

Datum, an dem das LIP6 verlassen wurde : 12.01.2016

Publikationen 2013-2020

Mentions légales
Plan