Simulation of real-time systems with clock calculus

Kai Hu, Teng Zhang, Zhibin Yang, Wei Tek Tsai

Research output: Contribution to journalArticle

3 Scopus citations

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.

Original languageEnglish (US)
Pages (from-to)69-86
Number of pages18
JournalSimulation Modelling Practice and Theory
Volume51
DOIs
StatePublished - Feb 2015

Keywords

  • Clock calculus
  • Code generation
  • Optimized clock tree
  • SIGNAL

ASJC Scopus subject areas

  • Software
  • Modeling and Simulation
  • Hardware and Architecture

Fingerprint Dive into the research topics of 'Simulation of real-time systems with clock calculus'. Together they form a unique fingerprint.

  • Cite this