Team VASY

Members
Overall Objectives
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Section: Other Grants and Activities

National Collaborations

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:

Beyond Inria , we had sustained scientific relations with the following teams:


previous
next

Logo Inria