Pre-Simulation Symbolic Analysis of Synchronization Issues between Discrete Event and Timed Data Flow Models of Computation
Liliana Andrade1,a, Torsten Maehne1, Alain Vachoux2, Cédric Ben Aoun1, FranÇois Pêcheux1 and Marie-Minerve Louërat1
1Sorbonne Universitás, UPMC Univ Paris 06, CNRS UMR 7606, LIP6, Paris, France.
2École Polytechnique Fédérale de Lausanne (EPFL), Laboratoire de Systémes Microélectroniques (LSM), Switzerland.
The SystemC AMS extensions support heterogeneous modeling and make use of several Models of Computation (MoCs) that operate on different time scales in the Discrete Event (DE), Discrete Time (DT), and Continuous Time (CT) domains. The simulation of such heterogeneous models may raise synchronization problems that are hard to diagnose and to fix, especially when considering multi-rate data flow parts. In this paper, we show how to formally analyze the execution of Timed Data Flow (TDF) models including their interaction with the DE domain by converting the synchronization mechanics into a Coloured Petri Net (CPN) equivalent. The developed symbolic execution algorithm for the CPN allows to detect all DE-TDF synchronization issues before simulation and to propose appropriate sample delay settings for the TDF converter ports to make the system schedulable. The presented technique is validated with a case study including a vibration sensor model and its digital front end.
Keywords: Synchronization, Multi-domain simulation, SystemC Analog/Mixed-Signal (AMS) extensions, Discrete Event (DE), Discrete Time (DT), Timed Data Flow (TDF), Coloured Petri Net (CPN), Model of Computation (MoC).
Full Text (PDF)