Le CETIC à la conférence AVOCS - 20-23 septembre 2010 - Düsseldorf, Allemagne

Dans le cadre du projet DEPLOY, le CETIC participera à la conférence AVOCS qui se déroule du 20 au 23 septembre 2010 à Düsseldorf en Allemagne. AVOCS s’intéresse aux techniques de vérification de systèmes critiques. Le projet DEPLOY développe intensivement des méthodes et outils de qualité industrielle pour ce type de systèmes et plusieurs partenaires du projet y présenteront leurs derniers résultats.

En marge de la conférence, le projet DEPLOY organise par ailleurs un atelier de formation au développement de plugins pour la plateforme RODIN qui est la plateforme ouverte développée par le projet ainsi qu’une journée de présentation des différents usages qui sont faits de la plateforme dans différents domaines industriels. Le CETIC y participera activement dans le cadre de son activité de rapport de l’adoption industrielle des méthodes formelles d’ingénierie logicielle.