Section: Partnerships and Cooperations

International Initiatives

INRIA associate team

  • Title: Test of Real-Time Embedded Systems

  • INRIA principal investigator: Thierry Jéron

  • International Partner:

    • Institution: Federal University of Campina Grande (Brazil)

    • Laboratory: Universidade Federal do Campina Grande

  • Duration: 2009 - 2011

  • See also: http://www.irisa.fr/vertecs/Treaties.html

  • This associated team with the Federal University of Campina Grande (Prof. Patrícia D. L. Machado) and University Pernambuco (Prof. Augusto Sampaio) in Brazil started in 2009 and ended this year.

  • In 2011 Nathalie Bertrand and Sébastien Chédor visited the Brazilian team in Recife in November where a meeting took place, and we had the visit of Wilkerson Andrade in November.

  • This year the cooperation addressed problems in test generation for timed input/output symbolic transition systems (see 6.2.5 ) and compositional conformance verification for these models, on the problems of non-determinism in timed models for test generation (see and 6.2.1 ), on test vector generation for timed models, and automatic test case generation and execution for regular graphs (see 6.2.2 ).

INRIA international partners

University of Michigan

(Prof. Stéphane Lafortune) on control and diagnosis of discrete event systems.

Visits of international scientists

Laurie Ricker, associate professor at the Mathematics & Computer Science department of Mount Allison University (Canada) has visited Vertecs for 6 months, from January 2011 to June 2011. We collaborate on control of discrete event systems for distributed systems.