This Article 
 Bibliographic References 
 Add to: 
Embedding Polychrony into Synchrony
July 2013 (vol. 39 no. 7)
pp. 917-929
Jens Brandt, University of Kaiserslautern, Kaiserslautern
Mike Gemunde, University of Kaiserslautern, Kaiserslautern
Klaus Schneider, University of Kaiserslautern, Kaiserslautern
Sandeep K. Shukla, Virginia Polytechnic and State University, Blacksburg
Jean-Pierre Talpin, INRIA Rennes-Bretagne-Atlantique, Rennes
This paper presents an embedding of polychronous programs into synchronous ones. Due to this embedding, it is not only possible to deepen the understanding of these different models of computation, but, more importantly, it is possible to transfer compilation techniques that were developed for synchronous programs to polychronous programs. This transfer is nontrivial because the underlying paradigms differ more than their names suggest: Since synchronous systems react deterministically to given inputs in discrete steps, they are typically used to describe reactive systems with a totally ordered notion of time. In contrast, polychronous system models entail a partially ordered notion of time, and are most suited to interface a system with an asynchronous environment by specifying input/output constraints from which a deterministic controller may eventually be refined and synthesized. As particular examples for the mentioned cross fertilization, we show how a simulator and a verification backend for synchronous programs can be made available to polychronous specifications, which is a first step toward integrating heterogeneous models of computation.
Index Terms:
Clocks,Computational modeling,Synchronization,Embedded systems,Hardware,Unified modeling language,synchronous guarded commands,Model-driven embedded software,synchronous programming,polychronous programming,programming models,synchrony hypothesis
Jens Brandt, Mike Gemunde, Klaus Schneider, Sandeep K. Shukla, Jean-Pierre Talpin, "Embedding Polychrony into Synchrony," IEEE Transactions on Software Engineering, vol. 39, no. 7, pp. 917-929, July 2013, doi:10.1109/TSE.2012.85
Usage of this product signifies your acceptance of the Terms of Use.