GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems

  • Fatma Jebali
  • Frédéric Lang
  • Radu Mateescu
Conference paper

DOI: 10.1007/978-3-319-11737-9_15

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8829)
Cite this paper as:
Jebali F., Lang F., Mateescu R. (2014) GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems. In: Merz S., Pang J. (eds) Formal Methods and Software Engineering. ICFEM 2014. Lecture Notes in Computer Science, vol 8829. Springer, Cham

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Fatma Jebali
    • 1
    • 2
  • Frédéric Lang
    • 1
    • 2
  • Radu Mateescu
    • 1
    • 2
  1. 1.Inria, Univ. Grenoble Alpes, LIGGrenobleFrance
  2. 2.CNRS, LIGGrenobleFrance

Personalised recommendations