A Simulation Approach for SIGNAL Time Model Concern on Multi-clock System

Synchronous programming models capture concurrency in computation quite naturally, especially in its dataflow multi-clock flavor. With the rising importance of multi-clock in safety-critical embedded systems, there is a growing need for model driven synthesizing simulation of such systems. This paper proposes an approach to simulate the dataflow behaviors of multi-clock system designed in SIGNAL as a feedback for the system designer.