wiki:H-InceptionPublications/Andrade

Version 3 (modified by mariem, 8 years ago) (diff)

--

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

Author: Liliana Lilibeth ANDRADE PORRAS

Advisor: François PÊCHEUX

Co-Advisor: Marie-Minerve LOUËRAT

ABSTRACT

The design of embedded systems is currently an increasing 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.