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 - 03/12

  • Coordinator: VERIMAG

  • Abstract: The central objective for ArtistDesign 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 [20] , test generation from nondeterministic timed automata [7] , and control sysnthesis using abstract interpretation for infinite state systems [12] .

Major European Organizations with which the Team has followed Collaborations

  • 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.

  • University of Mons (Belgium), Prof. Thomas Brihaye, Stochastic timed automata.