Constructive Polychronous Systems

Abstract : The synchronous paradigm provides a logical abstraction of time for reactivesystem design which allows automatic synthesis of embedded systems that behave in a predictable, timely, and reactive manner. According to the synchronyhypothesis, a synchronous model reacts to inputs by generating outputs thatare immediately made available to the environment. While synchrony greatlysimplifies the design of complex systems in general, it can sometimes lead tocausal cycles. In these cases, constructiveness is a key property to guaranteethat the output of each reaction can still be always algorithmically determined.Polychrony deviates from perfect synchrony by using a partially ordered,i.e., a relational model of time. It encompasses the behaviors of (implicitly)multi-clocked data-flow networks of synchronous modules and can analyze andsynthesize them as GALS systems or Kahn process networks (KPNs).In this paper, we present a unified constructive semantic framework usingstructured operational semantics, which encompasses both the constructive behavior of synchronous modules and the multi-clocked behavior of polychronousnetworks. Along the way, we define the very first executable operational seman-tics of the polychronous languageSignal
Type de document :
Article dans une revue
Science of Computer Programming, Elsevier, 2014, Science of Computer Programming, pp.20. 〈http://www.journals.elsevier.com/science-of-computer-programming〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01095004
Contributeur : Jean-Pierre Talpin <>
Soumis le : dimanche 14 décembre 2014 - 19:44:33
Dernière modification le : mercredi 11 avril 2018 - 01:51:26

Identifiants

  • HAL Id : hal-01095004, version 1

Citation

Jean-Pierre Talpin, Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep Shukla. Constructive Polychronous Systems. Science of Computer Programming, Elsevier, 2014, Science of Computer Programming, pp.20. 〈http://www.journals.elsevier.com/science-of-computer-programming〉. 〈hal-01095004〉

Partager

Métriques

Consultations de la notice

197