• Corpus ID: 13716482

DReAM: Dynamic Reconfigurable Architecture Modeling (full paper)

@article{Nicola2018DReAMDR,
  title={DReAM: Dynamic Reconfigurable Architecture Modeling (full paper)},
  author={Rocco De Nicola and Alessandro Maggi and Joseph Sifakis},
  journal={ArXiv},
  year={2018},
  volume={abs/1805.03724}
}
Modern systems evolve in unpredictable environments and have to continuously adapt their behavior to changing conditions. The "DReAM" (Dynamic Reconfigurable Architecture Modeling) framework, has been designed for modeling reconfigurable dynamic systems. It provides a rule-based language, inspired from Interaction Logic, which is expressive and easy to use encompassing all aspects of dynamicity including parametric multi-modal coordination with creation/deletion of components as well as… 
Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP
TLDR
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, showing that the presented solutions are both minimal and expressive allowing concise and natural description of non-Trivial systems.
System Design in the Era of IoT - Meeting the Autonomy Challenge
TLDR
This proposal for knowledge-based design seeks a compromise: preserving rigorousness despite the fact that essential properties cannot be guaranteed at design time.

References

SHOWING 1-10 OF 27 REFERENCES
Modeling Dynamic Architectures Using Dy-BIP
TLDR
Dy-BIP is a dynamic extension of the BIP component framework rooted in rigorous operational semantics and supporting a powerful and high-level set of primitives for describing dynamic interactions as symbolic constraints offered by interacting components and computed efficiently by an execution Engine.
Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP
TLDR
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, showing that the presented solutions are both minimal and expressive allowing concise and natural description of non-Trivial systems.
Style-Based Reconfigurations of Software Architectures with QoS Constraints
TLDR
Graphbased approach to deal with the design of reconfigurable software architectures results in a simple and formal mechanism for designing architectures according to a style, for checking that an architecture is an instance of a style and for ensuring style preservation during reconfigurations.
Buzz: An extensible programming language for heterogeneous swarm robotics
TLDR
Buzz advocates a compositional approach, offering primitives to define swarm behaviors both from the perspective of the single robot and of the overall swarm, and its run-time platform is designed to be laid on top of other frameworks, such as the Robot Operating System.
Buzz: An Extensible Programming Language for Self-Organizing Heterogeneous Robot Swarms
TLDR
Buzz advocates a compositional approach, offering primitives to define swarm behaviors both from the perspective of the single robot and of the overall swarm, and its run-time platform is designed to be laid on top of other frameworks, such as Robot Operating System.
A Classification of Dynamic Reconfiguration in Component and Connector Architecture Description
TLDR
The findings unravel the state of dynamically reconfigurable C&C ADLs and support developers considering employing one in choosing the most suitable language.
Organizing Definitions and Formalisms for Dynamic Software Architectures
TLDR
This paper presents a set of classification criteria for the comparison of dynamic software architectures based on: change type, change process, and change infrastructure, and demonstrates the use of the criteria by classifying three types of dynamicSoftware architectural change.
On the Power of Attribute-Based Communication
TLDR
The syntax and the semantics of the calculus are presented, then expressiveness and effectiveness of AbC are demonstrated both in terms of modeling scenarios featuring collaboration, reconfiguration, and adaptation and of the possibility of encoding channel-based interactions and other interaction patterns.
The Algebra of Connectors—Structuring Interaction in BIP
TLDR
A number of properties of AC(P) used to symbolically simplify and handle connectors are provided, including a general component model encompassing methods for incremental model decomposition and efficient implementation by using symbolic techniques.
...
...