Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP

Rim El Ballouli
  • Fonction : Auteur
Saddek Bensalem
Marius Bozga
Joseph Sifakis
  • Fonction : Auteur

Résumé

DR-BIP is an extension of the BIP component framework intended for programming reconfigurable systems encompassing various aspects of dynamism. A system is built from instances of types of components characterized by their interfaces. The latter consist of sets of ports through which data can be exchanged when interactions take place. DR-BIP allows the description of parametric exogenous interactions and reconfiguration operations. To naturally model self-organization and mobility of components, a system is composed of several architecture motifs, each motif consisting of a set of component instances and coordination rules. The use of motifs allows a disciplined management of dynamically changing coordination rules. The paper illustrates the basic concepts of DR-BIP through a collection of four non-trivial exercises from different application areas: fault-tolerant systems, mobile systems and autonomous systems. The presented solutions show that DR-BIP is both minimal and expressive allowing concise and natural description of non-trivial systems.
Fichier principal
Vignette du fichier
main.pdf (394.76 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01888571 , version 1 (05-10-2018)

Identifiants

  • HAL Id : hal-01888571 , version 1

Citer

Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis. Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP. Leveraging Applications of Formal Methods, Verification and Validation - 8th International Symposium, ISoLA 2018, Oct 2018, Limassol, Cyprus. ⟨hal-01888571⟩
70 Consultations
183 Téléchargements

Partager

Gmail Facebook X LinkedIn More