RAPIDS is an Inria Associate Team started in January 2010.
RAPIDS stands for Reasoning about Aspect-oriented Programs and securIty in Distributed Systems.
In January 2013, it metamorphosed into REAL.
While Aspect-Oriented Programming offers promising mechanisms for enhancing the modularity of software, this increased modularity raises new challenges for systematic reasoning. This project studies means to address fundamental and practical issues in understanding distributed aspect-oriented programs by focusing on the issue of security. To this end, the project tackles three complementary lines of work:
PLEIAD Laboratory (DCC/Universidad de Chile)
ASCOLA (Inria, MINES Nantes, LINA)
Project Assistant: Cécile Derouet