Pre-Simulation Symbolic Analysis of Synchronization Issues between Discrete Event and Timed Data Flow Models of Computation - Archive ouverte HAL Access content directly
Conference Papers Year : 2015

Pre-Simulation Symbolic Analysis of Synchronization Issues between Discrete Event and Timed Data Flow Models of Computation

Abstract

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.
No file

Dates and versions

hal-01217207 , version 1 (19-10-2015)

Identifiers

  • HAL Id : hal-01217207 , version 1

Cite

Liliana Lilibeth Andrade Porras, Torsten Maehne, Alain Vachoux, Cédric Ben Aoun, François Pêcheux, et al.. Pre-Simulation Symbolic Analysis of Synchronization Issues between Discrete Event and Timed Data Flow Models of Computation. The 2015 Design, Automation & Test in Europe Conference & Exhibition, DATE 2015, Mar 2015, Grenoble, France. pp.1671-1676. ⟨hal-01217207⟩
149 View
0 Download

Share

Gmail Facebook X LinkedIn More