BIP – Simon Bliudze

Self-adaptive modular robots: formal modeling for validation and coordination

14/03/202231/03/2022sbliudze

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.

Generation of Random Shapes for Modular Robots

22/12/2021sbliudze

The main goal of this project is to develop a generator of random shapes for modular robots and integrate it into an existing modelling framework.

Symbolic verification of real-time design patterns

07/01/2021sbliudze

This proposal focuses on the extension of the theory of BIP design patterns (called “architectures”) to the real-time domain.

Model-Based Testing in Java using BIP

12/11/202012/11/2020sbliudze

The main goal of this project is to provide a mechanism for automated testing of the conformance between BIP specifications and the corresponding Java components.

Composability & verification of BIP design patterns

31/10/201912/11/2020sbliudze

This proposal focuses on the implementation and extension of the results presented in a recent paper on the verification of BIP design patterns with data.