GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems

Fatma Jebali 1 Frédéric Lang 1 Radu Mateescu 1
1 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : A GALS (Globally Asynchronous, Locally Synchronous) system consists of several synchronous subsystems that evolve concurrently and interact with each other asynchronously. Most formalisms and design tools support either the synchronous paradigm or the asynchronous paradigm but rarely combine both, which requires an intricate modeling of GALS systems. In this paper, we present a new language, called GRL (GALS Representation Language) designed to model GALS systems in an abstract and versatile manner for the purpose of formal verification. GRL has formal semantics combining the synchronous reactive model underlying dataflow languages and the asynchronous concurrent model underlying process algebras. We present the basic concepts and the main constructs of the language, together with an illustrative example.
Type de document :
Communication dans un congrès
Stephan Merz; Jun Pang. Proceedings of the 16th International Conference on Formal Engineering Methods (ICFEM’14), Nov 2014, Luxembourg, Luxembourg. Springer, 8829, pp.219-234, 2014, Lecture Notes in Computer Science. 〈http://link.springer.com/book/10.1007/978-3-319-11737-9〉. 〈10.1007/978-3-319-11737-9_15〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01082348
Contributeur : Fatma Jebali <>
Soumis le : lundi 8 février 2016 - 10:55:51
Dernière modification le : mercredi 11 avril 2018 - 01:55:47

Fichier

jebali-lang-mateescu-14.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Fatma Jebali, Frédéric Lang, Radu Mateescu. GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems. Stephan Merz; Jun Pang. Proceedings of the 16th International Conference on Formal Engineering Methods (ICFEM’14), Nov 2014, Luxembourg, Luxembourg. Springer, 8829, pp.219-234, 2014, Lecture Notes in Computer Science. 〈http://link.springer.com/book/10.1007/978-3-319-11737-9〉. 〈10.1007/978-3-319-11737-9_15〉. 〈hal-01082348〉

Partager

Métriques

Consultations de la notice

348

Téléchargements de fichiers

197