Section: Partnerships and Cooperations

European initiatives

Artist design network of excellence

Participants : Nathalie Bertrand, Thierry Jéron, Hervé Marchand.

  • Program: FP7

  • Project acronym: Artist Design

  • Project title: Artist - European Network of Excellence on Embedded System Design

  • Duration: 01/08 - 12/11

  • Coordinator: VERIMAG

  • Abstract: The central objective for ArtistDesign http://www.artist-embedded.org/artist/-ArtistDesign-Participants-.html is to build on existing structures and links forged in Artist2, to become a virtual Center of Excellence in Embedded Systems Design. This will be mainly achieved through tight integration between the central players of the European research community. Also, the consortium is smaller, and integrates several new partners. These teams have already established a long-term vision for embedded systems in Europe, which advances the emergence of Embedded Systems as a mature discipline.

    The research effort aims at integrating topics, teams, and competencies, grouped into 4 Thematic Clusters: “Modelling and Validation”, “Software Synthesis, Code Generation, and Timing Analysis”, “Operating Systems and Networks”, “Platforms and MPSoC”. “Transversal Integration” covering both industrial applications and design issues aims for integration between clusters.

    The Vertecs EPI is a partner of the “Validation” activity of the “Modeling and Validation” cluster. This year, the Vertecs EPI has contributed to quantitative verification of timed automata [15] , approximate determinization of timed automata [18] and its adaptation to test generation [17] , and control sysnthesis using abstract interpretation for infinite state systems [11] , on decentralized [10] and distributed control [21] , [22] . Amélie Stainer spent one month in Aalborg to implement the approximate determinization of timed automata using UPPAAL libraries.

PHC Tournesol STP : Verification of timed and probabilistic systems

Participants : Nathalie Bertrand, Amélie Stainer.

A two-year contract with the group of Thomas Brihaye (Université Mons) started in 2010. Its objective is to study timed and probabilistic systems. This year, Nathalie Bertrand visited Thomas Brihaye in Mons, and Thomas Brihaye came to Rennes to give a seminar and further discuss with Nathalie Bertrand and Amélie Stainer.

Followed collaborations with major European organizations

  • Université Libre Bruxelles (Belgium), Prof. Thierry Massart

  • Testing and control of symbolic transitions systems

  • University of Kaiserslautern (Germany), Roland Meyer

  • Petri nets

  • University of Dresden (Germany), Prof. Christel Baier

  • Probabilistic automata over infinite words