Project : vertecs
Section: Other Grants and Activities
Collaborations with other INRIA project-teams:
We collaborate with several Inria project-teams. With ESPRESSO project-team for the development of the SIGALI tool inside the Polychrony environment. With the POP-ART project-team on the use of the controller synthesis methodology for the control of control-command systems (e.g. robotic systems). With the TRISKELL project-team we have different collaborations on testing, in particular on the connection of TGV and UMLAUT, and on symbolic distributed test generation. With the S4 project-team on the use of control and game theory for test generation. With the VASY project-team on the use of CADP libraries in TGV and the distribution of TGV in the CADP toolbox.
Collaborations with French research groups outside INRIA:
Our main collaborations are with Vérimag. Beyond formalized collaborations (IST Agedis, CNRS AS Test, ARC Modocop), we also collaborate on the connection of NBAC with Lurette for the analysis of Lustre programs, as well as the connection of SIGALI and Matou.
- Aalborg University
in Denmark (K. G. Larsen) and University of Twente (P. Katoen) on probabilistic verification. We participate in the development of the Rapture tool.
- University of South Carolina
in USA (D. Clarke) on symbolic test generation with emphasis on the STG tool.
- CNR Pisa
in Italy (A. Bertolino) on using TGV for test generation for software architectures.
- University of Wisconsin
(T. Reps) on shape analysis. Bertrand Jeannet visited Tom Reps during spring 2003.
- ENIS Sfax
in Tunisia (M. Tahar Bhiri). Thierry Jéron is co-supervisor of a master student Hatem Hamdi working on robustness testing.
Networks of Excellence
We have been involved in three proposals for Networks of Excellence in the 6th PCRD: Define ( http://www.laas.fr/DeSIRE&DeFINE/index.html) on Dependability that was not selected for the 1st call, and Artist ( http://www.artist-embedded.org/) on Embedded Systems, and Testnet ( http://www-lor.int-evry.fr/testnet/) on Integration of Testing Methodologies which have been submitted to the 2nd call.