文献详情
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
期刊名称SIMULATION MODELLING PRACTICE AND THEORY影响因子和分区
来源信息年:2015  卷:51  页码范围:69-86  
51
期刊信息SIMULATION MODELLING PRACTICE AND THEORY影响因子和分区  ISSN:1569-190X
关键词SIGNAL; Clock calculus; Optimized clock tree; Code generation
页码范围69-86
增刊正刊
摘要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
语言外文
ISSN1569-190X
被引频次11
人气指数36
浏览次数36
基金National Natural Science Foundations of China [61073013]; State Key Laboratory of Software Development Environment [SKLSDE-2014ZX-09]; Aviation Science Foundation of China [2012ZC51025]
全部评论(0 条评论)
作者其他论文

Research on QoS for DVB-RCS satellite networks.

Yang, He;Hu, Kai;Gu, Bin.2nd International Conference on Networking and Distributed Computing, ICNDC 2011.2011,10-14.

Modeling and Verification of Custom TCP Using SDL.

Hu, Kai;Liu, Cheng;Liu, Kai.PROCEEDINGS OF 2013 IEEE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS).2012,455-458.

Welcome to the ninth international workshop on requirements engineering and law (RELAW).

Amyot, Daniel;Ghanavati, Sepideh;Massey, Aaron,等.Proceedings - 2016 IEEE 24th International Requirements Engineering Conference Workshops, REW 2016.2016,217-218.

A cloud-based triage log analysis and recovery framework.

Qi, Guanqiu, Tsai, Wei-Tek, Li, Wu, et al. .SIMULATION MODELLING PRACTICE AND THEORY. 2017 ,77, 292-316.

A study on two-level network monitoring system for space exploration.

Ding, Yi;Hu, Kai;Chen, Lujia.International Conference on Space Information Technology 2009.2010,7651.

登录