Section: Other Grants and Activities
European and International Grants
ARTIST2 Network of Excellence
We are partners of the ARTIST2 Network of Excellence on Embedded Systems ( http://www.artist-embedded.org/ ), involved in the Testing and Verification cluster with Brics in Aalborg (DK), University of Twente (NL), University of Liège (B), Uppsala (SE), VERIMAG Grenoble, ENS Cachan, LIAFA Paris, EPFL Lausanne (S). The aim of the cluster is to develop a theoretical foundation for real-time testing, real-time monitoring and optimal control, to design data structures and algorithms for quantitative analysis, and to apply testing and verification tools in industrial settings. For security, we plan to create a common semantic framework for describing security protocols including notion of "trust" and to develop tools and methods for the verification of security protocols. Test and verification tools developed by partners will be made available via a web-portal and with dedicated verification servers.
In ARTIST2, the main role of VerTeCs is to integrate our research on testing and test generation based on symbolic transition systems with other works based on timed models.