An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization - Archive ouverte HAL Access content directly
Conference Papers Year : 2024

An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization

Abstract

We propose an overview of the decentralized reconfiguration language Concerto-D through its Maude formalization. Concerto-D extends the already published Concerto language. Concerto-D improves on two different parameters compared with related work: the decentralized coordination of numerous local reconfiguration plans which avoid a single point of failure when considering unstable networks such as edge computing, or cyber-physical systems (CPS) for instance; and a mechanized formal semantics of the language with Maude which offers guarantees on the excitability of the semantics. Throughout the paper, the Concerto-D language and its semantics are exemplified with a reconfiguration extracted from a real case study on a CPS. To provide an executable solution to Concerto-D, we rely on the Maude formal specification language, which is based on rewriting logic, and consequently perfectly suited for describing a concurrent model.
No file

Dates and versions

hal-04572043 , version 1 (09-05-2024)

Licence

Identifiers

  • HAL Id : hal-04572043 , version 1

Cite

Farid Arfi, Hélène Coullon, Frédéric Loulergue, Jolan Philippe, Simon Robillard. An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization. ICE 2024 - 17th Interaction and Concurrency Experience, Jun 2024, Groningen, Netherlands. ⟨hal-04572043⟩
2 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More