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 条

[1] Real-time calculus for scheduling hard real-time systems
Thiele, L
Chakraborty, S
Naedele, M
ISCAS 2000: IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS - PROCEEDINGS, VOL IV: EMERGING TECHNOLOGIES FOR THE 21ST CENTURY, 2000, : 101 - 104
[2] PARALLEL SIMULATION OF REAL-TIME SYSTEMS VIA THE STANDARD CLOCK APPROACH
HO, YC
CASSANDRAS, CG
MAKHLOUF, M
MATHEMATICS AND COMPUTERS IN SIMULATION, 1993, 35 (01) : 33 - 41
[3] A Probabilistic Calculus for Probabilistic Real-Time Systems
Santinelli, Luca
Cucu-Grosjean, Liliana
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2015, 14 (03)
[4] A refinement calculus for the development of real-time systems
Chen, ZQ
Cau, A
Zedan, H
Liu, XD
Yang, HJ
1998 ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 1998, : 61 - 68
[5] Practical real-time clock calibration systems
Makles, Piotr
PRZEGLAD ELEKTROTECHNICZNY, 2020, 96 (12): : 30 - 34
[6] CLOCK SYNCHRONIZATION IN DISTRIBUTED REAL-TIME SYSTEMS
KOPETZ, H
OCHSENREITER, W
IEEE TRANSACTIONS ON COMPUTERS, 1987, 36 (08) : 933 - 940
[7] Clock Synchronization in Distributed Real-Time Simulation System
Pan Yulin
Yao Xinyu
PROCEEDINGS OF THE FIRST INTERNATIONAL WORKSHOP ON EDUCATION TECHNOLOGY AND COMPUTER SCIENCE, VOL II, 2009, : 768 - 771
[8] Duration calculus, a logical approach to real-time systems
Zhao, CC
ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1999, 1548 : 1 - 7
[9] Modelling real-time database systems in duration calculus
Hung, DV
Huong, HV
PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON DATABASES AND APPLICATIONS, 2004, : 37 - +
[10] Towards a calculus for distributed, real-time and mobile systems
Maarouk, Toufik Messaoud
Saidouni, Djamel Eddine
Khergag, Mohamed
Journal of Software, 2012, 7 (03) : 564 - 574

← 1 2 3 4 5 →