Menu

Anaïs GUIGNARD

Aix en Provence

En résumé

Je suis actuellement ingénieur chez Systerel, entreprise spécialisée dans les systèmes critiques et la sûreté de fonctionnement.

Je suis docteur en Electronique, Électrotechnique et Automatique. Ma thèse a été réalisée au sein du LURPA à l'ENS de Cachan dans le cadre d'un projet ANR en partenariat avec EDF R&D et Dassault Systèmes (http://vacsim.inria.fr/ ). Mon domaine de recherche traite de la validation de contrôleur logique isolé (test de conformité) ou couplé avec la partie opérative (validation avec partie opérative simulée).

Normalienne de l'Ecole Normale Supérieure de Cachan, j'ai suivi une formation en mécanique, conception et informatique industrielle en Licence puis un Master en ingénierie des systèmes complexes orienté sureté de fonctionnement (méthodes formelles, model-checking, validation de spécifications, modèles probabilistes) et modélisation de systèmes à évènements discrets (modélisation de contrôleur par Réseau de Petri, machine de Mealy, Grafcet).

Mes compétences :
Contrôle-commande
Automates programmables
Automates
Python
Modélisation de processus
Développement informatique
Test fonctionnel

Entreprises

  • Systerel - Ingénieur

    Aix en Provence 2015 - maintenant Tâche principale : En charge du développement d'outils de simulation dans le secteur du transport ferroviaire.

    Objectif des outils développés :
    - Validation de scénarios
    - Calcul de performances

    Compétences :
    - Signalisation et automatismes ferroviaires (KVB, CBTC, ERTMS, ...)
    - Modélisation
    - Simulation temps réel
    - Specification et rédaction de scénarios de test
    - Développement informatique (python, schedulers, tests unitaire)
  • ENS cachan - Doctorante

    Cachan 2011 - 2015

Formations

Réseau

Annuaire des membres :