Skip to Main content Skip to Navigation
Journal articles

Simulation of real-time systems with clock calculus

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.
Complete list of metadatas

Cited literature [35 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Wednesday, May 20, 2015 - 2:41:19 PM
Last modification on : Thursday, March 26, 2020 - 8:25:44 PM
Long-term archiving on: : Tuesday, September 15, 2015 - 6:28:54 AM


Files produced by the author(s)



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



Record views


Files downloads