JavaBIP – Simon Bliudze

Feature Models vs BDD size: Impact analysis

03/09/202203/09/2022sbliudze

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).

Axiomatic system for hybrid interactions

02/09/202203/09/2022sbliudze

The 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.

Introducing compound components in JavaBIP

07/01/2021sbliudze

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.

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.