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.
Type de document :
Communication dans un congrès
Artemov, Sergei and Nerode, Anil. Logical Foundations of Computer Science, Jan 2013, San Diego, CA, United States. Springer, 7734, 2013, Lecture Notes in Computer Science
Liste complète des métadonnées

Littérature citée [32 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00763371
Contributeur : Thierry Gautier <>
Soumis le : lundi 10 décembre 2012 - 16:02:25
Dernière modification le : mercredi 16 mai 2018 - 11:23:03
Document(s) archivé(s) le : samedi 17 décembre 2016 - 23:38:02

Fichier

TBGS13.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00763371, version 1

Citation

Jean-Pierre Talpin, Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep Shukla. Constructive Polychronous Systems. Artemov, Sergei and Nerode, Anil. Logical Foundations of Computer Science, Jan 2013, San Diego, CA, United States. Springer, 7734, 2013, Lecture Notes in Computer Science. 〈hal-00763371〉

Partager

Métriques

Consultations de la notice

344

Téléchargements de fichiers

163