Menu

Erwan MOTTIN

Paris, Aix en Pce et Lyon

En résumé

Ingénieur de formation généraliste (Informatique, électronique, télécoms), j'ai rejoint Clearsy en 2006 et me suis spécialisé dans les méthodes formelles et la sûreté de fonctionnement.
Directeur d'activité pour le développement et la validation Software SIL4, ainsi que la validation de données utilisant les méthodes formelles.

Mes compétences :
Ingénieur

Entreprises

  • Clearsy - Directeur d'activités développement et validation Software; validation formelle de données

    Paris, Aix en Pce et Lyon 2017 - maintenant

  • Clearsy - Chef de projet Symphonie RSC (RATP)

    Paris, Aix en Pce et Lyon 2016 - maintenant

  • ClearSy - Chef de projet pôle design & vérif Software / Chef de projet pôle validation de données.

    Paris, Aix en Pce et Lyon 2012 - 2016 Chef de projet pôle design Software, projets CBTC Alstom Transport.
    Chef de projet pôle validation Software, projets CBTC pour Alstom Transport.
    Chef de projet pôle validation de données, GE Transportation.
    Chef de projet pôle validation de données, Alstom Transport.

  • RATP - Ingénieur méthodes formelles

    Paris 2011 - 2012 RATP, département AQL - Atelier de Qualification Logicielle. Val de Fontenay
    Projet : Métro L1 phase 2 (conducteurs + navettes)
    Modélisation et preuve des propriétés de sécurité SAET-MEI (entre le Système d'automatisation de l'exploitation des trains et le système de gestion des équipements au sol sur les 2 terminus de la ligne 1).

    Prover technologie
    Asifer
    Signalisation
    PMI, MEI, SAET

    Prestation pour Clearsy

  • ALSTOM - Ingenieur methodes formelles / Expert B

    Saint Ouen 2008 - 2011 ALSTOM – Projet URBALIS Evolution - UEVOL
    Janvier 2008 - Janvier 2011
    Intégration dans l'équipe design de l'ATP (logiciel de contrôle du train), modélisation, développement, preuve, optimisations, support B.

    Metros de Milan, Beijing, Sao Paulo

    Prestation pour Clearsy

    http://www.clearsy.com/php/projet-alstom-uevol-sao-paulo-fr.php

  • ClearSy - Ingénieur méthodes formelles

    Paris, Aix en Pce et Lyon 2006 - 2008 ALSTOM – Outil VESG
    Cet outil génère des tables de données à partir des invariants ferroviaires. Ces tables de données sont ensuite utilisées par l’application embarquée à bord des trains (ATP).
    • Etude de la spécification,
    • Réalisation de tests


    SIEMENS – Projet Trainguard
    Réalisation de travaux de preuve de modèles


    ALSTOM – Projets Urbalis 200 – Urbalis 300
    Ecriture, refonte et simplification de spécifications en B logiciel.

Formations

Réseau

Annuaire des membres :