文献详情
Simulation of real-time systems with clock calculus
文献类型期刊
作者Hu, Kai[1];Zhang, Teng[2];Yang, Zhibin[3];Tsai, Wei-Tek[4]
机构
通讯作者Hu, K (reprint author), Beihang Univ, State Key Lab Software Dev Environm, Beijing 100191, Peoples R China.
来源信息年:2015  卷:51  页码范围:69-86  
期刊信息SIMULATION MODELLING PRACTICE AND THEORY影响因子和分区  ISSN:1569-190X
关键词SIGNAL; Clock calculus; Optimized clock tree; Code generation
增刊正刊
摘要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. (C) 2014 Elsevier B.V. All rights reserved.
收录情况SCIE(WOS:000349575900005)  EI(20145100336536)  
所属部门计算机学院
DOI10.1016/j.simpat.2014.10.010
百度学术Simulation of real-time systems with clock calculus
语言外文
被引频次11
人气指数55
浏览次数55
基金National Natural Science Foundations of China [61073013]; State Key Laboratory of Software Development Environment [SKLSDE-2014ZX-09]; Aviation Science Foundation of China [2012ZC51025]
全部评论(0 条评论)
作者其他论文

An Improved Traffic Matrix Decomposition Method with Frequency-Domain Regularization.

Wang, Zhe;Hu, Kai;Yin, Baolin.IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS.2013,E96D(3),731-734.

Mono image based object recognition with mapreduce.

Yu, Yun-Jui;Hu, Kai.2013 5th International Conference on Advanced Computer Control, ICACC 2013.2014,59,711-718.

Unveiling a Key Intermediate in Solvent Vapor Postannealing to Enlarge Crystalline Domains of Organometal Halide Perovskite Films.

Xiao, Shuang;Bai, Yang;Meng, Xiangyue,等.ADVANCED FUNCTIONAL MATERIALS.2017,27(12).

Message from the Workshop Chair.

Tsai, Wei-Tek,.Proceedings - 11th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2017. 2017 ,xiii.

Research on SCPS-NP routing protocol.

Jiang, Hong;Hu, Kai.2nd International Conference on Information Engineering and Computer Science, ICIECS 2010.2010.

登录