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

Ballouli, Rim El; Bensalem, Saddek; Bozga, Marius; Sifakis, Joseph

doi:10.1007/978-3-030-03424-5_20

Cited by 16 publications

(10 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…By doing so the authors also introduce their own policy model called UseCON. -The paper "Programming dynamic reconfigurable systems" by El Ballouli, Bensalem, Bozga, and Sifakis [18] is an extension of the ISoLA 2018 and FACS 2018 papers [16,17] by the same authors. The paper focuses on programming dynamic reconfigurable systems.…”

Section: This Issuementioning

confidence: 99%

On methods and tools for rigorous system design

Bliudze

Katsaros

Bensalem

et al. 2021

Int J Softw Tools Technol Transfer

Self Cite

View full text Add to dashboard Cite

Full a posteriori verification of the correctness of modern software systems is practically infeasible due to the sheer complexity resulting from their intrinsic concurrent nature. An alternative approach consists of ensuring correctness by construction. We discuss the Rigorous System Design (RSD) approach, which relies on a sequence of semantics-preserving transformations to obtain an implementation of the system from a high-level model while preserving all the properties established along the way. In particular, we highlight some of the key requirements for the feasibility of such an approach, namely availability of (1) methods and tools for the design of correct-by-construction high-level models and (2) definition and proof of the validity of suitable domain-specific abstractions. We summarise the results of the extended versions of seven papers selected among those presented at the $$1\mathrm {st}$$ 1 st and the $$2\mathrm {nd}$$ 2 nd International Workshops on Methods and Tools for Rigorous System Design (MeTRiD 2018–2019), indicating how they contribute to the advancement of the RSD approach.

show abstract

Section: This Issuementioning

confidence: 99%

On methods and tools for rigorous system design

Bliudze

Katsaros

Bensalem

et al. 2021

Int J Softw Tools Technol Transfer

Self Cite

View full text Add to dashboard Cite

show abstract

“…Other approaches leverage component-based, architectural descriptions to decouple application logic and deployment. For instance, DR-BIP (Dynamically Reconfigurable Behavior Interaction Priority model) [60] and DReAM (Dynamically Reconfigurable Architectural Modelling) [61] use components (capturing behavior), connectors (capturing interaction between components' ports), maps (logical topologies), and deployments (associating components to map locations), overall organized in motifs (dynamic architectural configurations), to model and analyze dynamic architectures.…”

Section: Flexible Deploymentmentioning

confidence: 99%

Pulverization in Cyber-Physical Systems: Engineering the Self-Organizing Logic Separated from Deployment

et al. 2020

View full text Add to dashboard Cite

Emerging cyber-physical systems, such as robot swarms, crowds of augmented people, and smart cities, require well-crafted self-organizing behavior to properly deal with dynamic environments and pervasive disturbances. However, the infrastructures providing networking and computing services to support these systems are becoming increasingly complex, layered and heterogeneous—consider the case of the edge–fog–cloud interplay. This typically hinders the application of self-organizing mechanisms and patterns, which are often designed to work on flat networks. To promote reuse of behavior and flexibility in infrastructure exploitation, we argue that self-organizing logic should be largely independent of the specific application deployment. We show that this separation of concerns can be achieved through a proposed “pulverization approach”: the global system behavior of application services gets broken into smaller computational pieces that are continuously executed across the available hosts. This model can then be instantiated in the aggregate computing framework, whereby self-organizing behavior is specified compositionally. We showcase how the proposed approach enables expressing the application logic of a self-organizing cyber-physical system in a deployment-independent fashion, and simulate its deployment on multiple heterogeneous infrastructures that include cloud, edge, and LoRaWAN network elements.

show abstract

“…We have effectively used DR-BIP for programming reconfigurable systems in different application domains [13]. For better illustration of DR-BIP concepts, we reconsider hereafter the exercise on dynamic task management for a multicore platform proposed in [13]. A multicore task system consists of a fixed n × n grid of interconnected homogeneous cores, each executing a finite number of tasks.…”

Section: Implementation and Experimentsmentioning

confidence: 99%

Programming Dynamic Reconfigurable Systems

Ballouli

Bensalem

Bozga

et al. 2018

Formal Aspects of Component Software

Self Cite

View full text Add to dashboard Cite

DR-BIP is an extension of the BIP component framework intended for programming reconfigurable systems encompassing various aspects of dynamism. It relies on architectural motifs to structure the architecture of a system and to coordinate its reconfiguration at runtime. An architectural motif defines a set of interacting components that evolve according to reconfiguration rules. With DR-BIP, the dynamism can be captured as the interplay of dynamic changes in three independent directions 1) the organization of interactions between instances of components in a given configuration; 2) the reconfiguration mechanisms allowing creation/deletion of components and management of their interaction according to a given architectural motif; 3) the migration of components between predefined architectural motifs which characterizes dynamic execution environments. The paper lays down the formal foundation of DR-BIP, illustrates its expressiveness on few examples and discusses avenues for dynamic reconfigurable system design.

show abstract

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

Cited by 16 publications

References 19 publications

On methods and tools for rigorous system design

On methods and tools for rigorous system design

Pulverization in Cyber-Physical Systems: Engineering the Self-Organizing Logic Separated from Deployment

Programming Dynamic Reconfigurable Systems

Contact Info

Product

Resources

About