Sciweavers

ACSD
2009
IEEE

Desynchronizing Synchronous Programs by Modes

13 years 10 months ago
Desynchronizing Synchronous Programs by Modes
The synchronous programming paradigm simplifies the specification and verification of reactive systems. However, synchronous programs must be often implemented on architectures that do not follow this model of computation (like distributed systems or systems-on-a-chip). This gives rise to desynchronization techniques, which map the synchronous program to a platform without global time while preserving the original synchronous semantics. In this paper, we present a new approach to desynchronize synchronous programs. Our approach is based on partitioning the system and deriving suited computation modes for that partitioning. These computation modes dynamically decouple the components of a system by eliminating temporarily unnecessary and undesired computations and communications. We present several variations of the general concept and discuss their pros and cons. Finally, we illustrate our approach with the help of several small examples.
Jens Brandt, Mike Gemunde, Klaus Schneider
Added 18 May 2010
Updated 18 May 2010
Type Conference
Year 2009
Where ACSD
Authors Jens Brandt, Mike Gemunde, Klaus Schneider
Comments (0)