Simulation of real-time systems with clock calculus - Archive ouverte HAL Access content directly
Journal Articles Simulation Modelling Practice and Theory Year : 2015

Simulation of real-time systems with clock calculus


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.
Fichier principal
Vignette du fichier
hu_13268.pdf (1.75 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01153777 , version 1 (20-05-2015)



Kai Hu, Teng Zhang, Zhibin Yang, Wai-Tek Tsai. Simulation of real-time systems with clock calculus. Simulation Modelling Practice and Theory, 2015, vol. 51, pp. 69-86. ⟨10.1016/j.simpat.2014.10.010⟩. ⟨hal-01153777⟩
78 View
175 Download



Gmail Facebook X LinkedIn More