Synchronous Machines: a Traced Category

Résumé : Les langages de programmation synchrone sont fréquemment utilisés dans le domaine des systèmes embarqués critiques. Les machines synchrones, qui sont une classe spécifique de système de système à transition d'état, ont souvent été utilisées pour donner des sémantiques dénotationnelles de ces langages. On montre dans un premier temps que la catégorie S des machines synchrones est une catégorie symétrique monoïdale à trace avec diagonales. Puis on y applique un variante standard de la construction Int pour voir que la composition dans la catégorie obtenue correspond au "produit synchrone", l'opération utilisée pour modéliser la composition parallèle de programmes synchrones. On voit également comment les propriétés des machines synchrones comme la réactivité ou le déterminisme sont liée à la façon dont elles se composent avec les morphismes diagonaux de S.
Type de document :
Rapport
[Research Report] 2012


https://hal.inria.fr/hal-00748010
Contributeur : Marc Bagnol <>
Soumis le : mardi 27 novembre 2012 - 16:49:19
Dernière modification le : mercredi 28 septembre 2016 - 16:17:38

Fichier

synchronous-machines.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00748010, version 3

Collections

Citation

Marc Bagnol, Guatto Adrien. Synchronous Machines: a Traced Category. [Research Report] 2012. <hal-00748010v3>

Exporter

Partager

Métriques

Consultations de
la notice

166

Téléchargements du document

82