文献详情
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
语言外文
人气指数30
浏览次数30
基金National Natural Science Foundations of China [61073013]; State Key Laboratory of Software Development Environment [SKLSDE-2014ZX-09]; Aviation Science Foundation of China [2012ZC51025]
全部评论(0 条评论)
作者其他论文

Cloud-Based Software Crowdsourcing.

Tsai, Wei-Tek;Wu, Wenjun;Huhns, Michael N..IEEE INTERNET COMPUTING.2014,18(3),78-83.

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.

Performance Monitoring and Analysis of Task-Based OpenMP.

Ding, Yi;Hu, Kai;Wu, Kai,等.PLOS ONE.2013,8(10).

登录