Nicolas Vallée

Nicolas Vallée

Ingénieur en conception de systèmes de transports ferroviaires

Paris, France

Bienvenue sur l'aperçu du profil de Nicolas Vallée

Devenez membre pour voir son profil complet et vous aussi, donnez un coup de pouce à votre carrière

Son parcours

  • Aujourd'hui
    2017
    2011

    Ingénieur Système

    +5000 employés

    Actuellement chargé d'études et de développement pour la conception de systèmes de transports ferroviaires au sein du département d'Ingénierie de la RATP.

    Ma mission principale est celle d'Ingénieur Système pour le projet de modernisation de la ligne 13 du Métro Parisien, grâce à un système de type CBTC.
    J'ai également pu exercer quelques activités liées à la caractérisation du matériel roulant et à l'automatisation de tâches.
  • Aujourd'hui
    2011
    2007

    Doctorant en Informatique

    200 - 499 employés

    Intitulé de ma thèse
    Conception d’un outil de débogage formel pour les systèmes logiciels et matériels respectant l’approche « Debug as Design »

    Pour écourter la validation des systèmes, toutes les informations disponibles devraient être utilisées pour valider le plus tôt possible chaque aspect du système. La taille des systèmes augmente de manière continue, ainsi que la diversité des composants utilisés et le mélange des aspects matériels et logiciels. Les concepteurs doivent donc gérer de multiples abstractions.
    J'ai travaillé avec un nouveau modèle hiérarchique raffinable et modulaire, qui permet à la fois de simuler et d'analyser un système complexe. J'ai adapté ensuite deux techniques d'analyse statique à ce modèle : l'interprétation abstraite et l'exécution symbolique. Leur utilisation conjointe m'a permis d'extraire des comportements abstraits, afin d'effectuer une validation de spécification.

    thèse débutée en octobre 2007
    sous la direction de Bruno Monsuez (ENSTA - UEI) & Michel Mauny (ENSTA - UMA)
    au Laboratoire d'Electronique et d'Informatique de l'ENSTA
    financement : Bourse DGA

    soutenue le 12 Juillet 2011, mention très honorable
  • Aujourd'hui
    2007

    Stagiaire au Laboratoire de Programmation Distribuée

    Ecole Polytechnique Fédérale de Lausanne

    Lors de mon stage de 5 mois à l’Ecole Polytechnique Fédérale de Lausanne, sous la direction de Maxime Monod, j’ai été chargé de continuer le développement d’un profileur dynamique implanté dans KVM, la machine virtuelle pour Java 2 Micro Edition (J2ME).

    Tout d'abord, j'ai mis en place plusieurs optimisations locales, et passé en "threaded code" l'ensemble de l'interprète, ce qui a divisé entre 2 et 3 le temps de calcul moyen sur les benchmarks type Cafféine et Java Grande.
    Puis j'ai étudié sur une version minimaliste une optimisation de type "basic blocks", qui aurait permis de diviser le temps d'exécution moyen initial d'un facteur 5, mais l'implantation étant trop coûteuse en temps et peu portable, elle n'a pas été mise en place sur la version complète.
    Enfin, j'ai effectué quelques études pour l'utilisation des données obtenues lors de la recherche des "basic blocks" pour améliorer les prédictions du profileur dynamique.
  • Master Parisien de Recherche en Informatique

Inscrivez-vous pour consulter le profil complet de Nicolas Vallée

S'INSCRIRE

Ses compétences

  • Methodes
  • Méthodes Formelles
  • Modélisation
  • Sureté
  • Sureté de fonctionnement
  • Validation

Ses langues parlées

  • Français
    ****Bilingue
  • Anglais
    ***Courant*
  • Espagnol
    **Intermédiaire**
  • Allemand
    *Débutant***

    Ses centres d'intérêt

    Présidence du club informatique de l'ENSTA ParisTech en 2005 et 2006 rédacteur bénévole pour le site developpez.comEchecs Tir à l'arc

    Sa présentation

    Diplômé d'un doctorat en informatique avec une spécialisation en méthodes formelles, j'ai ainsi pu compléter ma formation d'ingénieur généraliste, filière systèmes embarqués.
    Je souhaite désormais m'investir dans toutes les étapes de la conception, du développement et de la validation de systèmes critiques.


    Compétences en Modélisation et Validation de systèmes.
    Définition, déclinaison et raffinement de spécifications;
    Analyse et vérification formelle des systèmes;
    Sûreté de fonctionnement.

    Son activité sur Viadeo

    Ceux qui ont consulté ce profil ont aussi vu :