This proposal builds upon the previous work carried out by Waïss Azizian for his ENS L3 internship project. It focuses on the extension of the theory of BIP design patterns (called “architectures”) to the real-time domain.
Read moreBIP
Composability & verification of BIP design patterns
This proposal focusses on the implementation and extension of the results presented in a recent paper on the verification of BIP design patterns with data.
Read more