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 metadatas

Cited literature [32 references]  Display  Hide  Download

https://hal.inria.fr/hal-00763371
Contributor : Thierry Gautier <>
Submitted on : Monday, December 10, 2012 - 4:02:25 PM
Last modification on : Friday, July 10, 2020 - 4:10:45 PM
Long-term archiving on: : Saturday, December 17, 2016 - 11:38:02 PM

File

TBGS13.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00763371, version 1

Citation

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⟩

Share

Metrics

Record views

419

Files downloads

475