Menu

Antony SARRAT

CROLLES

En résumé

Après 8 années d'expérience comme ingénieur de recherche en physique des particules, je travaille depuis 2008 comme ingénieur logiciel dans le secteur de l'industrie aéronautique.

Mes compétences :
Logiciel embarqué
Conception logiciel
Recherche scientifique
Méthode Monte Carlo
Simulation numérique
Spécification logiciel
Développeur
Analyse de données
Anglais
DO-178B
C++
Perl Programming
SQL
Python Programming
Microsoft Windows
Mac OS X
Linux
FORTRAN
C Programming Language
UNIX
Lauterbach TRACE32
JTAG
GIT
CVS
Apache Subversion
Test unitaire

Entreprises

  • KEAS - Ingénieur logiciel

    2015 - maintenant
  • Alten Technology France - Consultant expérimenté

    Boulogne Billancourt 2008 - 2015 [ 6 mois] Architecture logiciel critique: Zodiac Aerospace, Plaisir
    Logiciel de dégivrage des vitres du cockpit de l'avion G7000 de Bombardier
    Langage C, norme DO 178B DAL B
    Définition et mise en place de l'architecture
    - Tests d'intégration
    - Conception détaillée et codage ;
    - Réalisation d'un script Perl d'analyse de code C (génération d'un dictionnaire de données)

    [ 3 ans] Développement et validation de logiciel critique: Sagem DS, Massy
    Réalisation d'évolutions / correction de problèmes sur différents logiciels embarqués sur des Airbus A350 et A380 (pare-feu/routeur, acquisition de données/gestion boîte noire, chargement de données).
    Langage C, norme DO 178B DAL B, C et D
    - Mise en place des processus de production du logiciel (pour obtention CMMI) ;
    - Analyse et chiffrage des évolutions logicielles ;
    - Conception et développement des évolutions
    - Gestion de configuration ;
    - Réalisation des documents de conception détaillée ;
    - Mise en conformité du code par rapport aux résultats de tests unitaires
    - Analyse et mise en conformité du code par rapport aux règles de sécurité et de codage
    - Validation des développements sur banc ou à l'aide de simulateurs
    - Analyse et débogage de code sur cible par sonde JTAG Lauterbach (Trace 32) ;
    - Revue de code, de documents de conception et de spécifications
    - Mise à jour des spécifications et des scénarios de tests formels
    - Analyse des retours client

    Validation de logiciels embarqués sur des Airbus A350 et A380 (acquisition de données/boîte noire)
    Norme DO 178B DAL C et D
    - Conception, réalisation et relecture technique de tests de validation ;
    - Passage des tests formels sur banc
    - Analyse des résultats

    [ 2 ans] Développement logiciel critique: Sagem DS, Eragny
    Conception et développement du logiciel de navigation dans le cadre d'une rénovation du Mirage F1.
    Langage C++, norme DO 178B DAL C

    Définition et mise en place des processus de tests unitaires
    - Installation et déploiement de RTRT sur les postes de travail
    - Réalisation de scripts et de modèles afin de générer automatiquement l'environnement de test d'un module et de standardiser le lancement et les sorties de test

    Responsable des modules gérant divers équipement (radar, laser et système de communication), ainsi que d'un module de maintenance. Gestion d'équipes de 1 ou 2 collaborateurs. Pour chaque module :
    - Analyse des exigences et conception du module (RoseRT)
    - Développement du code en C++ (environnement Eclipse)
    - Validation des fonctionnalités par simulateur ou sur bancs
    - Conception et écriture des tests unitaires (RTRT) ;
    - Analyse des retours client et corrections des problèmes

    Ecriture des spécifications logicielles de la boule gyro-stabilisée d'un hélicoptère de combat MI-24
    - Analyse des besoins du client et traduction en exigences fonctionnelles
  • C.E.A. / Univ. de Tokyo / Univ. de Stony Brook/ Collège de France - Ingénieur de recherche

    1998 - 2007 [8 ans] Études et développement:
    Service de Physique des Particules du CEA, Saclay
    Département de physique, Univ. de Stony Brook,U.S.A
    Institut de recherche sur les rayons cosmiques, Univ. de Tokyo, Japon
    Laboratoire de Physique Corpusculaire, Collège de France, Paris

    Conception, développement et validation de logiciels dans le cadre d'expériences de physique des particules :
    - Simulation de détecteurs (C++, Fortran). ;
    - Analyse statistique et traitement de données (Perl, C++)

    Communication écrite (revues à comité de lecture) et orale (conférence, réunion de collaboration...) des résultats

    Encadrement d'étudiants (PhD, Master)

Formations

Réseau

Annuaire des membres :