Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions

Abstract : For the design of embedded systems, many languages are in use, which are based on different models of computation such as event-, data-, and clock-driven paradigms as well as paradigms without a clear notion of time. Systems composed of such heterogeneous components are hard to analyze so that mainly co-simulation by coupling different simulators has been considered so-far. In this article, we propose clocked guarded actions as a unique intermediate representation that can be used as a common basis for simulation, analysis, and synthesis. We show how synchronous, (untimed) asynchronous, and polychronous languages can be translated to clocked guarded actions to demonstrate that our intermediate representation is powerful enough to capture rather different models of computation. Having a unique and composable intermediate representation of these components at hand allows one a simple composition of these components. Moreover, we show how clocked guarded actions can be used for verification by symbolic model checking and simulation by SystemC.
Type de document :
Article dans une revue
Design Automation for Embedded Systems, Springer Verlag, 2012, 〈10.1007/s10617-012-9087-9〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00763334
Contributeur : Thierry Gautier <>
Soumis le : lundi 10 décembre 2012 - 15:30:15
Dernière modification le : vendredi 16 novembre 2018 - 01:23:21
Document(s) archivé(s) le : lundi 11 mars 2013 - 12:41:47

Fichier

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

Identifiants

Citation

Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep Shukla, Jean-Pierre Talpin. Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions. Design Automation for Embedded Systems, Springer Verlag, 2012, 〈10.1007/s10617-012-9087-9〉. 〈hal-00763334〉

Partager

Métriques

Consultations de la notice

367

Téléchargements de fichiers

597