The main objective of this project is to contribute to the implementation of modular robots by developing a formal framework to model, validate and coordinate their dynamic behaviours. The scientific challenges consist in particular in the ability to model the dynamic evolution of this type of complex systems—their adaptation and reconfiguration—by taking into account constraints on resources as well as events occurring in their execution environment.
This project is submitted for joint funding with the French Agency for Defence Innovation (AID). Therefore, we are currently looking only for candidates holding EU, United Kingdom or Swiss citizenship.
The main goal of this project is to exhibit a set of axioms formalising the equivalence relation on the extended Algebra of Connectors, which is used to model patterns combining synchronous and asynchronous communication in JavaBIP.
With Hélène Coullon and Rabéa Ameur-Boulifa, we are responsible for the activities of “trustworthY and Optimal Dynamic Adaptation” (Yoda) working group of GDR GPL (the site is in French). On Wednesday, the 12th of May, 2021 14:00-16:00 CET, Yoda will hold its 2nd meeting.
The goal of the project is to introduce compound components in JavaBIP. Indeed, in the original BIP framework, components can be assembled hierarchically to simplify re-use. This feature is missing in JavaBIP.
The aim of the proposed project is to develop new software technologies to enable (self-)adaptivity of IoT systems while reinforcing the safety of their operation. The obtained results will be applied and evaluated in the context of a real industrial IoT system designed for tracking and management of equipment parks.