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.
Document type :
Conference papers
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

Cited literature [29 references]  Display  Hide  Download

https://hal.inria.fr/hal-01082348
Contributor : Fatma Jebali <>
Submitted on : Monday, February 8, 2016 - 10:55:51 AM
Last modification on : Wednesday, February 10, 2016 - 1:02:46 AM

File

jebali-lang-mateescu-14.pdf
Files produced by the author(s)

Identifiers

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〉

Share

Metrics

Record views

295

Document downloads

161