This proposal focuses on the extension of the theory of BIP design patterns (called “architectures”) to the real-time domain.
Read moreBIP
Model-Based Testing in Java using BIP
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.
Read moreComposability & verification of BIP design patterns
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.
Read moreDesign of correct-by-construction self-adaptive cloud applications using formal methods
Essentially, 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
Read more