Times square - marriage of real-time and logical-time in GALS and synchronous languages

摘要

In this paper we introduce exact and non-exact real-time waits in 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 the real-time in order to control program execution. The introduced concepts utilize execution platforms that allow finding best and worst reaction time of a GALS or synchronous program.