Embedding Polychrony into Synchrony

Abstract : This article 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 crossfertilization, we show how a simulator and a verification backend for synchronous programs can be made available to polychronous specifications, which is a first step towards integrating heterogeneous models of computation.
Type de document :
Article dans une revue
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2013
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00763317
Contributeur : Thierry Gautier <>
Soumis le : lundi 10 décembre 2012 - 15:07:56
Dernière modification le : vendredi 16 novembre 2018 - 01:23:21
Document(s) archivé(s) le : samedi 17 décembre 2016 - 23:33:07

Fichier

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

Identifiants

  • HAL Id : hal-00763317, version 1

Citation

Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep Kumar Shukla, Jean-Pierre Talpin. Embedding Polychrony into Synchrony. IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2013. 〈hal-00763317〉

Partager

Métriques

Consultations de la notice

517

Téléchargements de fichiers

170