Réunion plénière (14-15 Octobre 2014)
- Compte-rendu de la réunion
- Présentations
- Présentations de EDF/Dassault Systemes : Etat d'avancement T1
- Présentations du LURPA: Validation de contrôleurs logiques
- Présentations de I3S : Localisation d'erreurs
- Présentations d'INRIA/LABRI : Enforcement de systèmes temporisés
- Présentations du LABRI : Vérification des systèmes communicants
- Présentations de EDF/Dassault Systemes : Etat d'avancement T2
- Présentations de EDF/Dassault Systemes : Etat d'avancement T6
Réunion plénière (9-10 Avril 2014)
- Compte-rendu de la réunion
- Présentations
- Présentations de Dassault Systemes : Test progressif par parties : état d'avancement du prototype
- Présentations du LURPA : Relation de conformité pour le test model-based d'automates programmables industriels
- Présentations de EDF/Dassault Systemes: Apport de la simulation de partie opérative
- Présentations du LABRI : Test temporisé à distance
- Présentations du LABRI/INRIA: Enforcement temporisé d'événements non contrôlables
Réunion plénière (15 Octobre 2013)
- Compte-rendu de la réunion
Réunion plénière (15-16 Avril 2013)
- Compte-rendu de la réunion
- Présentations
- Présentations de INRIA-Sumo: Frequencies in Forgetful Timed Automata
- Présentation du Labri: Reachability of Communicating Timed Processes
- Présentation du Lurpa: Validation of a logic controller : Using conformance test or observation of the closed loop system behavior
- Présentation de Dassault systemes: Extension d'algorithmes de test
- Présentations de I3S:
Réunion plénière (6-7 Septembre 2012)
- Compte-rendu de la réunion
- Présentations
- Présentations de INRIA-VerTecs et du Labri:
- Enforcement des systèmes temporisés
- Verification quantitative d'automates temporisés
- Présentation de Dassault Systemes: Présentation et démonstration de l'outil Dymoal et du langage Modelica
- Présentation de EDF: Utilisation de Dymola pour la conception du controle-commande des centrales de production d'énergie
- Présentation du Lurpa: Validation d'un controleur par observation de son comportement dans un système bouclé
- Présentations de INRIA-VerTecs et du Labri:
Réunion plénière (15-16 Mars 2012)
- Compte-rendu de la réunion
- Transparents des présentations
- Présentations du Labri :
- Présentation de INRIA - VerTeCs : Enforcement of timed properties
- Présentation de EDF : Test progressif par parties
- Présentation de I3S : CBEL (Constraint-Based Error Localization)
- Présentation de Dassault Systemes: Simulation de partie opérative : démonstration avec l'outil ControlBuild
- Présentation du Lurpa: Identification des SED et validation de la commande
Réunion de lancement (30 septembre 2011)
- Compte-rendu de la réunion
- Transparents des présentations
- Présentation du projet Vacsim
- Présentation de Dassault Systèmes
- Présentation de EDF
- Présentation de I3S
- Présentation de INRIA - VerTeCs
- Présentation du Labri
- Présentation du Lurpa
- Présentation de la tâche T1 et T2
- Présentation de la tâche T3
- Présentation de la tâche T4
- Présentation de la tâche T5