The DSystemJ programming language for dynamic GALS systems: it's semantics, compilation, implementation, and run-time system

Résumé : Cet article pr´esente un nouveau langage de programmation appel´e DSystemJ, destin´e aux syst`emes r´epartis dynamiques Globalement Asynchrones Localement Synchrones (GALS), ainsi que son mod`ele formel de calcul, sa syntaxe et sa s´emantique formelle, sa compilation et sa mise en oeuvre. Le langage est destin´e `a la conception des syst`emes r´epartis dynamiques, qui utilisent des protocoles de communication bas´es sur les sockets. DSystemJ permet la cr´eation et le contrˆole durant l'ex´ecution de processus asynchrones appel´es clockdomains, leur mobilit´e sur des plateformes d'ex´ecution r´epartie, ainsi que la reconfiguration `a l'ex´ecution des fonctionnalit´es du syst`eme et de sa topologie. Puisque le mod`ele formel de calcul de DSystemJ est bas´e sur le mod`ele GALS et poss`ede une s´emantique formelle, il offre des m´ecanismes tr`es sˆurs pour la mise en oeuvre de syst`emes dynamiques r´epartis et le potentiel pour leur v´erification formelle. Nous donnons les principes et les d´etails de la compilation de DSystemJ ainsi que son environnement de support `a l'ex´ecution. Cet environnement de support est lui-mˆeme mis en oeuvre dans le langage GALS SystemJ, qui peut ˆetre consid´er´e comme un sous-ensemble statique de DSystemJ.
Type de document :
Rapport
[Research Report] RR-7346, INRIA. 2010
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00505085
Contributeur : Avinash Malik <>
Soumis le : jeudi 22 juillet 2010 - 15:12:09
Dernière modification le : jeudi 11 octobre 2018 - 08:48:03
Document(s) archivé(s) le : lundi 25 octobre 2010 - 12:06:19

Fichier

RR-7346.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00505085, version 1

Collections

Citation

Avinash Malik, Alain Girault, Zoran Salcic. The DSystemJ programming language for dynamic GALS systems: it's semantics, compilation, implementation, and run-time system. [Research Report] RR-7346, INRIA. 2010. 〈inria-00505085〉

Partager

Métriques

Consultations de la notice

356

Téléchargements de fichiers

223