Simulation of real-time systems with clock calculus

被引：4
|
作者：
Hu, Kai [1 ]
Zhang, Teng [2 ]
Yang, Zhibin [2 ,3 ]
Tsai, Wei-Tek [4 ]
机构：
[1] Beihang Univ, State Key Lab Software Dev Environm, Beijing 100191, Peoples R China
[2] Beihang Univ, Sch Comp Sci & Engn, Beijing 100191, Peoples R China
[3] Univ Toulouse, IRIT CNRS, Toulouse, France
[4] Arizona State Univ, Sch Comp Informat & Decis Syst Engn, Tempe, AZ USA
来源：
SIMULATION MODELLING PRACTICE AND THEORY | 2015年 / 51卷
关键词：
SIGNAL; Clock calculus; Optimized clock tree; Code generation; PROGRAMMING LANGUAGE; DESIGN; POLYCHRONY; SEMANTICS;
D O I：
10.1016/j.simpat.2014.10.010
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
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.
引用
收藏
页码：69 / 86
页数：18
相关论文
共 50 条
  • [21] Optimal Deterministic Remote Clock Estimation in Real-Time Systems
    Moser, Heinrich
    Schmid, Ulrich
    PRINCIPLES OF DISTRIBUTED SYSTEMS, 12TH INTERNATIONAL CONFERENCE, OPODIS 2008, 2008, 5401 : 363 - 387
  • [22] Real-Time Simulation and Control of Helicopter Systems
    Singh, Rupam
    Bhushan, Bharat
    Varshney, Ankita
    2019 INTERNATIONAL CONFERENCE ON POWER ELECTRONICS, CONTROL AND AUTOMATION (ICPECA-2019), 2019, : 172 - 177
  • [23] SIMULATION AS A CASE TOOL FOR REAL-TIME SYSTEMS
    GROENEWEGEN, L
    SIMULATION APPLIED TO MANUFACTURING ENERGY AND ENVIRONMENTAL STUDIES AND ELECTRONICS AND COMPUTER ENGINEERING, 1989, : 140 - 143
  • [24] REAL-TIME DIGITAL SIMULATION FOR SYSTEMS CONTROL
    SAGE, AP
    SMITH, SL
    PROCEEDINGS OF THE INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS, 1966, 54 (12): : 1802 - &
  • [25] Symbolic simulation of real-time concurrent systems
    Wang, F
    Huang, GD
    Yu, F
    REAL-TIME AND EMBEDDED COMPUTING SYSTEMS AND APPLICATIONS, 2003, 2968 : 595 - 617
  • [26] Middleware for real-time distributed simulation systems
    van Paassen, MM
    Pronk, C
    Delatour, J
    SIMULATION IN INDUSTRY'2000, 2000, : 351 - 358
  • [27] Simulation of Stiff Systems on Real-Time Hardware
    Zaev, Emil
    Babunski, Darko
    Tuneski, Atanasko
    Rath, Gerhard
    2018 7TH MEDITERRANEAN CONFERENCE ON EMBEDDED COMPUTING (MECO), 2018, : 132 - 135
  • [28] Digital real-time simulation for distribution systems
    Barry, AO
    Guay, F
    Guérette, S
    Giroux, P
    2000 IEEE ESMO - 2000 IEEE 9TH INTERNATIONAL CONFERENCE ON TRANSMISSION & DISTRIBUTION CONSTRUCTION, OPERATION & LIVE-LINE MAINTENANCE PROCEEDINGS, 2000, : 252 - 258
  • [29] REAL-TIME SIMULATION OF FLUID POWER SYSTEMS
    Liermann, Matthias
    Feller, Christian
    Lindinger, Florian
    PROCEEDINGS OF ASME/BATH 2021 SYMPOSIUM ON FLUID POWER AND MOTION CONTROL (FPMC2021), 2021,
  • [30] Evaluation of real-time physics simulation systems
    Boeing, Adrian
    Braeunl, Thomas
    GRAPHITE 2007: 5TH INTERNATIONAL CONFERENCE ON COMPUTER GRAPHICS AND INTERACTIVE TECHNIQUES IN AUSTRALASIA AND SOUTHERN ASIA, PROCEEDINGS, 2007, : 281 - 288
12345