Section: Other Grants and Activities
The Vasy project team plays an active role in the joint research center launched in 2004 between Inria Rhône-Alpes and the Leti laboratory of Cea -Grenoble. In co-operation with Leti scientists (Edith Beigné, François Bertrand, Fabien Clermidy, Yvain Thonnart, and Pascal Vivet), Vasy develops software tools for the design of asynchronous circuits and architectures such as Gals (Globally Asynchronous Locally Synchronous ), Noc s (Networks on Chip ), and Soc s (Systems on Chip ). In 2006, our work focused on the Chp2Lotos translator (see § 6.2.3 ) and its application to the Faust architecture (see § 6.3 ).
Together with the Oasis project team of Inria Sophia-Antipolis (Antonio Cansado and Eric Madelaine), the Ltci team of Enst -Paris (Irfan Hamid, Elie Najm, and Sylvie Vignes), the Svf team of the Laas-Cnrs laboratory (Bernard Berthomieu, Florent Peres, and François Vernadat), and the Mvr team of Irit (Mamoun Filali), Vasy participates to the national action Fiacre (Aci Sécurité Informatique ) started in 2004 (see http://www-sop.inria.fr/oasis/fiacre ). In 2006, we implemented new interconnections (see § 6.1.5 ) between Cadp , the Tina toolbox developed by Svf , and the Vercors platform developed by Oasis . We also undertook the definition of the Fiacre intermediate model (see § 6.2.3 ).
Additionally, we collaborated in 2006 with several Inria project teams:
Helix (Rhône-Alpes): applications of model checking to biological systems (Estelle Dumas, Hidde de Jong, Pedro Monteiro, Michel Page, and Adrien Richard);
Oasis (Sophia-Antipolis): collaboration in the framework of the Fiacre national action (Antonio Cansado and Eric Madelaine);
PopArt (Rhône-Alpes): combination of the Cadp and Prometheus compositional verification tools (Gregor Goessler).
Beyond Inria , we had sustained scientific relations with the following teams:
Laas-Cnrs laboratory (Toulouse): collaboration in the framework of the Fiacre , OpenEmbeDD , and TopCased projects (Bernard Berthomieu and François Vernadat);
Lip laboratory (Lyon): until November 2006, R. Mateescu had a part-time (20%) collaboration with the Plume team;
Le2i laboratory (Dijon): since December 2006, R. Mateescu is hosted by the computer science team of Le2i .