GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems

Jebali, Fatma; Lang, Frédéric; Mateescu, Radu

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

Cited by 4 publications

(3 citation statements)

References 31 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In this section, we present GRL, whose syntax and semantics are fully described in the technical report [JLM14b]. Syntax is given in EBNF (Extended Backus-Naur Form), i.e., as a set of rules called productions.…”

Section: Grl (Gals Representation Language)mentioning

confidence: 99%

“…In this paper, we propose GRL (GALS Representation Language) [JLM14a] as such a DSL for GALS systems. GRL is a rich description language that combines features of synchronous programming (determinism, atomicity) and process algebra (nondeterministic communication, asynchronous concurrency) in one unified language, while keeping homogeneous syntax and semantics.…”

Section: Introductionmentioning

confidence: 99%

“…Construction of this store and memory update are handled at the level of component invocation (see semantics of blocks below). The definition of statements is standard (see [JLM14b]). Nondeterministic statements lead to a nondeterministic relation.…”

mentioning

confidence: 99%

See 2 more Smart Citations

Formal modelling and verification of GALS systems using GRL and CADP

2016

Self Cite

View full text Add to dashboard Cite

A GALS (Globally Asynchronous, Locally Synchronous) system consists of several synchronous components that evolve concurrently and interact with each other asynchronously. The design of GALS systems is tedious and error-prone due to the high degree of synchronous and asynchronous concurrency present in complex architectures. In this paper, we present GRL (GALS Representation Language), a formal language designed to model GALS systems, for the purpose of formal verification of the asynchronous aspects. GRL combines the synchronous reactive model underlying dataflow languages and the asynchronous concurrent model underlying process algebras. We propose a translation from GRL to LNT, a value-passing concurrent language with classical process algebra flavour. This makes possible the analysis of GRL specifications using all the state-of-the-art simulation and verification functionalities provided by the CADP toolbox.

show abstract

Section: Grl (Gals Representation Language)mentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Formal modelling and verification of GALS systems using GRL and CADP

2016

Self Cite

View full text Add to dashboard Cite

show abstract

GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems

Jebali

Lang

Mateescu

2014

Formal Methods and Software Engineering

Self Cite

View full text Add to dashboard Cite

International audienceA 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

show abstract

TiLA: Twin-in-the-Loop Architecture for Cyber-Physical Production Systems

Park

Easwaran

Andalam³

2019

2019 IEEE 37th International Conference on Computer Design (ICCD)

View full text Add to dashboard Cite

Digital twin is a virtual replica of a real-world object that lives simultaneously with its physical counterpart. Since its first introduction in 2003 by Grieves, digital twin has gained momentum in a wide range of applications such as industrial manufacturing, automotive and artificial intelligence. However, many digital-twin-related approaches, found in industries as well as literature, mainly focus on modelling individual physical things with high-fidelity methods with limited scalability. In this paper, we introduce a digital-twin architecture called TiLA (Twin-in-the-Loop Architecture). TiLA employs heterogeneous models and online data to create a digital twin, which follows a Globally Asynchronous Locally Synchronous (GALS) model of computation. It facilitates the creation of a scalable digital twin with different levels of modelling abstraction as well as giving GALS formalism for execution strategy. Furthermore, TiLA provides facilities to develop applications around the twin as well as an interface to synchronise the twin with the physical system through an industrial communication protocol. A digital twin for a manufacturing line has been developed as a case study using TiLA. It demonstrates the use of digital twin models together with online data for monitoring and analysing failures in the physical system.

show abstract

GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems

Cited by 4 publications

References 31 publications

Formal modelling and verification of GALS systems using GRL and CADP

Formal modelling and verification of GALS systems using GRL and CADP

GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems

TiLA: Twin-in-the-Loop Architecture for Cyber-Physical Production Systems

Contact Info

Product

Resources

About