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.
Original language | English (US) |
---|---|
Pages (from-to) | 69-86 |
Number of pages | 18 |
Journal | Simulation Modelling Practice and Theory |
Volume | 51 |
DOIs | |
State | Published - Feb 2015 |
Keywords
- Clock calculus
- Code generation
- Optimized clock tree
- SIGNAL
ASJC Scopus subject areas
- Software
- Modeling and Simulation
- Hardware and Architecture