Times Square - Marriage of Real-Time and Logical-Time in GALS and Synchronous Languages

被引：0

作者：

Park, Heejong ^{[1
]}

Li, Zhenmin ^{[1
]}

Malik, Avinash ^{[1
]}

Salcic, Zoran ^{[1
]}

机构：

[1] Univ Auckland, Dept Elect & Comp Engn, 38 Princes St, Auckland 1010, New Zealand

来源：

JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY | 2016年 / 84卷 / 01期

关键词：

GALS languages; Synchronous languages; Exact and non-exact delays;

D O I：

10.1007/s11265-015-0991-7

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

In this paper we introduce exact and non-exact real-time waits in the reactive Globally Asynchronous Locally Synchronous (GALS) programming languages and synchronous languages as their subset. The language constructs that allow use of real-time waits are illustrated on the SystemJ GALS language. They allow system designers to explicitly use, at the specification level, not only logical time but also real-time in order to control program execution. We transform the real-time constructs into a logical model of time, and statically bound the amount of delay introduced by these constructs. In addition, the introduced concepts utilize execution platforms that allow finding best and worst reaction time of a GALS or synchronous program.

引用

页码：163 / 180

页数：18

共 50 条

[31] Modeling a synchronous generator with real-time hardware
Auer, Michael
Cech, Michael
Himmelstoss, Felix A.
2007 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, PROCEEDINGS, VOLS 1-8, 2007, : 467 - +
[32] Reconfiguration of Synchronous Real-Time Operating System
Gharsellaoui, Hamza
Khalgui, Mohamed
Ben Ahmed, Samir
INTERNATIONAL JOURNAL OF SYSTEM DYNAMICS APPLICATIONS, 2013, 2 (01) : 114 - 132
[33] Introducing the synchronous approach into a real-time course
Andre, C
Peraldi, MA
Rigault, JP
REAL-TIME SYSTEMS EDUCATION II, 1997, : 104 - 109
[34] Logical Formalism for Specification of Real-Time Multiagent Systems
Bugaichenko, D. Yu.
Solov'ev, I. P.
VESTNIK ST PETERSBURG UNIVERSITY-MATHEMATICS, 2007, 40 (02) : 131 - 137
[35] Duration calculus, a logical approach to real-time systems
Zhao, CC
ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 1999, 1548 : 1 - 7
[36] Logical Push Framework for Real-time SNS Processing
Lee, Yoonjae
Oh, Junseok
Lee, Bong Gyou
2012 FOURTH INTERNATIONAL CONFERENCE ON COMPUTATIONAL ASPECTS OF SOCIAL NETWORKS (CASON), 2012, : 47 - 51
[37] Operational and logical semantics for polling real-time systems
Dierks, H
Fehnker, A
Mader, A
Vaandrager, F
FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1998, 1486 : 29 - 40
[38] Argo: A Real-Time Network-on-Chip Architecture With an Efficient GALS Implementation
Kasapaki, Evangelia
Schoeberl, Martin
Sorensen, Rasmus Bo
Muller, Christoph
Goossens, Kees
Sparso, Jens
IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2016, 24 (02) : 479 - 492
[39] Work-in-Progress: From Logical Time Scheduling to Real-Time Scheduling
Mallet, Frederic
Zhang, Min
2018 39TH IEEE REAL-TIME SYSTEMS SYMPOSIUM (RTSS 2018), 2018, : 143 - 146
[40] System-level Logical Execution Time: Augmenting the Logical Execution Time Paradigm for Distributed Real-time Automotive Software
Gemlau, Kai-Bjoern
Koehler, Leonie
Ernst, Rolf
Quinton, Sophie
ACM TRANSACTIONS ON CYBER-PHYSICAL SYSTEMS, 2021, 5 (02)

← 1 2 3 4 5 →