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

https://hal.archives-ouvertes.fr/hal-01153777
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Wednesday, May 20, 2015 - 2:41:19 PM
Last modification on : Friday, January 10, 2020 - 9:09:19 PM
Long-term archiving on: Tuesday, September 15, 2015 - 6:28:54 AM

File

hu_13268.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

176

Files downloads

219