Research Scientist at the Spirals team of INRIA Lille – Nord Europe
We work on an approach that leverages feature models for acquiring a compact representation of a set of valid configurations of a system in the form of a JavaBIP model used to control the software system at run time. The goal of this project is to propose and evaluate new approaches to the analysis of the impact of the feature model shape on the size of the Binary Decision Diagrams (BDDs) that encode it in JavaBIP (and thereby on the ensuing JavaBIP engine overhead).
Read moreThe main goal of this project is to propose specification mechanisms for the coordination and control based on aggregate measures, such as the percentage of entities in a given state, e.g. if less than 75% of system blocks have enough charge to emit light for 5 minutes, then 20% of these blocks shall switch off their speakers (thus allowing these blocks to continue emitting light for a longer period).
Read moreThe main goal of this project is to propose a set of axioms defining the congruence relation on the extended Algebra of Connectors used to model patterns combining synchronous and asynchronous communication in component-based systems.
Read more
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.
Read moreL’objectif de ce projet est de développer un mini-simulateur pour le contrôle hiérarchique de systèmes composés de robots modulaires afin d’évaluer différentes algorithmes et politiques de contrôle.
Read moreThe main goal of this project is to propose hybrid verification techniques for systems combining synchronous and asynchronous interaction mechanisms for concurrent component-based systems.
Read more
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.
Read moreThe main goal of this project is to provide a mechanism for automated testing of the conformance between BIP specifications and the corresponding Java components.
Read moreThis proposal focuses on the implementation and extension of the results presented in a recent paper on the verification of BIP design patterns with data.
Read more