Simulation of real-time systems with clock calculus. Simulation Modelling Practice and Theory, Elsevier, 2015Elsevier, , vol. 51, pp. 69-86. 10.1016Elsevier, /j.simpat.2014 Open Archive TOULOUSE Archive Ouverte (OATAO)OATAO is an open access repository that collects the work of Toulouse researchers and makes it freely available over the web where possible.
a b s t r a c tSafety-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.