Skip to Main content Skip to Navigation
Conference papers

Constructive Polychronous Systems

Abstract : The synchronous paradigm provides a logical abstraction of time for reactive system design which allows automatic synthesis of embedded programs that behave in a predictable, timely and reactive manner. According to the synchrony hypothesis, a synchronous model reacts to input events and generates outputs that are immediately made available. But even though synchrony greatly simplifies design of complex systems, it often leads to rejecting models when data dependencies within a reaction are ill-specified, leading to causal cycles. Constructivity is a key property to guarantee that the output during each reaction can be algorithmically determined. Polychrony deviates from perfect synchrony by using a partially ordered or relational model of time. It captures the behaviors of (implicitly) multi-clocked data-flow networks and can analyze and synthesize them to GALS systems or to Kahn process networks (KPNs). In this paper, we provide a unified constructive semantic framework, using structural operational semantics, which captures the behavior of both synchronous modules and multi-clocked polychronous processes. Along the way, we define the very first operational semantics of Signal.
Document type :
Conference papers
Complete list of metadata

Cited literature [32 references]  Display  Hide  Download
Contributor : Thierry Gautier Connect in order to contact the contributor
Submitted on : Monday, December 10, 2012 - 4:02:25 PM
Last modification on : Friday, February 4, 2022 - 3:16:43 AM
Long-term archiving on: : Saturday, December 17, 2016 - 11:38:02 PM


Files produced by the author(s)


  • HAL Id : hal-00763371, version 1


Jean-Pierre Talpin, Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep Shukla. Constructive Polychronous Systems. Logical Foundations of Computer Science, Jan 2013, San Diego, CA, United States. ⟨hal-00763371⟩



Record views


Files downloads