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

@inproceedings{Ballouli2018FourEI,
  title={Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP},
  author={Rim El Ballouli and Saddek Bensalem and Marius Bozga and Joseph Sifakis},
  booktitle={ISoLA},
  year={2018}
}
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… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-5 OF 5 CITATIONS

Formal Aspects of Component Software

  • Lecture Notes in Computer Science
  • 2018
VIEW 5 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Autonomous Systems - An Architectural Characterization

  • Models, Languages, and Tools for Concurrent and Distributed Programming
  • 2018
VIEW 2 EXCERPTS
CITES BACKGROUND

References

Publications referenced by this paper.
SHOWING 1-10 OF 22 REFERENCES

Buzz: An extensible programming language for heterogeneous swarm robotics

  • 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
  • 2016
VIEW 1 EXCERPT

Approaches for Facilities Layer Protocols for Platooning

  • 2015 IEEE 18th International Conference on Intelligent Transportation Systems
  • 2015
VIEW 1 EXCERPT