OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Simulation of real-time systems with clock calculus

Hu, Kai and Zhang, Teng and Yang, Zhibin and Tsai, Wei-Tek Simulation of real-time systems with clock calculus. (2015) Simulation Modelling Practice and Theory, 51. 69-86. ISSN 1569-190X

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: http://dx.doi.org/10.1016/j.simpat.2014.10.010


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.

Item Type:Article
Additional Information:Thanks to Elsevier editor. The definitive version is available at http://www.sciencedirect.com The original PDF of the article can be found at Simulation Modelling Practice and Theory web site http://www.sciencedirect.com/science/article/pii/S1569190X14001610#
HAL Id:hal-01153777
Audience (journal):International peer-reviewed journal
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > Arizona State University - ASU (USA)
Other partners > Beihang University (CHINA)
Laboratory name:
Deposited On:04 Feb 2015 16:21

Repository Staff Only: item control page