Menu

Cyrille DELON

Paris, Aix en Pce et Lyon

En résumé

Ingénieur de formation généraliste, j'aime découvrir, explorer à la lumière des mes expériences et connaissances et enfin, maîtriser des domaines qui ne me sont pas familiers.

Mes compétences :
Informatique
Informatique appliquée
Polyvalence
Qualité
Sureté
Sureté de fonctionnement

Entreprises

  • ClearSy - Responsable Qualité

    Paris, Aix en Pce et Lyon 2011 - maintenant

  • ClearSy - Auditeur qualité

    Paris, Aix en Pce et Lyon 2009 - 2010 Siemens ED/EA :
    Dans le cadre du paramétrage de postes CCN par Siemens pour RTE, analyse du processus pour en dégager les faiblesses et mise en place de solutions d'amélioration (outils de vérification automatisée). Accompagnement des équipes pour la prise en main de ces outils.

  • ClearSy - Modélisation et validation formelle

    Paris, Aix en Pce et Lyon 2008 - 2009 ClearSy/RATP – Projet COPP2 :
    Dans le cadre des efforts d'amélioration de disponibilité de la ligne 13 fournis par la RATP, cette dernière a chargé ClearSy du développement d'un système sécuritaire de commande de portes palières basé sur une communication unidirectionnelle de la rame vers la voie.
    • Modélisation en B système de COPP2 et de ses différents constituants

    DGA – Organisation et interopérabilité de systèmes autonomes :
    • Modélisation générique de systèmes de systèmes
    • Instanciation du modèle générique sur des cas d'études soumis par les opérationnels

    CNES – Validation de l'algorithme de sauvegarde du lanceur Ariane 5 ES ATV :
    • Modélisation en B de l'algorithme spécifié par le CNES
    • Modélisation en B de l'algorithme implémenté par EADS
    • Preuve formelle de l'équivalence de ces deux algorithmes

  • ClearSy - Responsable Vérification et Validation du projet DOF1

    Paris, Aix en Pce et Lyon 2007 - 2008 Dans le cadre de l'automatisation de la ligne 1 du métro parisien, la RATP a confié à ClearSy le développement d'un système sécuritaire de commandes des portes palières par les rames à conduite manuelle. Le système comporte 5 fonctions sécuritaires dont une de niveau SIL4.
    • Spécification des tests à mettre en place
    • Écriture et déroulement des tests
    • Rédaction du référentiel documentaire associé (documents de spécifications et rapports)
    • Programmation LADDER sur automates Siemens (ET200S)

Formations

Réseau

Annuaire des membres :