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 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 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 moreEssentially, any software entity that goes beyond simply computing a certain function necessarily has to interact and share resources with other such entities. Correct coordination of access to resources among concurrent software entities is fundamental to ensuring that they satisfy user and system requirements avoiding operational faults and deadlock situations. This proposal targets the correct coordination of access to cloud resources among concurrent cloud application entities.
Trình Lê Khánh is now working on this project