Simulation of real-time systems with clock calculus

Kai Hu, Teng Zhang, Zhibin Yang, Wei Tek Tsai

Research output: Contribution to journalArticlepeer-review

6 Scopus citations


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 languageEnglish (US)
Pages (from-to)69-86
Number of pages18
JournalSimulation Modelling Practice and Theory
StatePublished - Feb 2015


  • Clock calculus
  • Code generation
  • Optimized clock tree

ASJC Scopus subject areas

  • Software
  • Modeling and Simulation
  • Hardware and Architecture


Dive into the research topics of 'Simulation of real-time systems with clock calculus'. Together they form a unique fingerprint.

Cite this