Simulation of real-time systems with clock calculus

Kai Hu (1) , Teng Zhang (2) , Zhibin Yang (3) , Wai-Tek Tsai (4)

1 State Key Laboratory of Software Development Environment (Beijing, China)
2 BUAA - Beihang University
3 IRIT - Institut de recherche en informatique de Toulouse
4 ASU - Arizona State University [Tempe]

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.

Mots clés: SIGNAL; Clock calculus; Optimized clock tree; Code generation

Domaines: Génie logiciel [cs.SE]; Systèmes embarqués; Cryptographie et sécurité [cs.CR]; Interface homme-machine [cs.HC]; Architectures Matérielles [cs.AR]; Modélisation et simulation

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⟩