Abstract | ||
---|---|---|
Safety–critical real-time systems need to be modeled and simulated early in the development of lifecycle. SIGNAL is a data-flow synchronous language with clocks widely used in modeling of such systems. Due to the synchronous features of SIGNAL, clock calculus is essential in compilation and simulation. This paper proposes a new methodology for clock calculus that takes data dependencies into consideration. In this way, simulation code can be directly generated by using a depth-first traversal algorithm. In addition, a clock insertion method based on clock-implication checking is presented to obtain an optimized control structure. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1016/j.simpat.2014.10.010 | Simulation Modelling Practice and Theory |
Keywords | Field | DocType |
SIGNAL,Clock calculus,Optimized clock tree,Code generation | Tree traversal,Computer science,Parallel computing,Real-time computing,Code generation,Synchronous language,Clock synchronization,Calculus | Journal |
Volume | ISSN | Citations |
51 | 1569-190X | 2 |
PageRank | References | Authors |
0.37 | 20 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Kai Hu | 1 | 90 | 12.83 |
Teng Zhang | 2 | 16 | 3.70 |
Zhibin Yang | 3 | 35 | 2.85 |
Wei-Tek Tsai | 4 | 3601 | 610.30 |