Menu

Vivien RABAUD

Paris-13E-Arrondissement

En résumé

Fort d'une expérience de 4 ans dans la vérification et la validation des systèmes critiques aéronautiques, je souhaite continuer à m’épanouir et à enrichir ma curiosité dans les systèmes complexes.

Mes compétences :
C++
Airbus A350 Aircraft
UML/OMT
Rational ClearCase
Python Programming
Perl Programming
Microsoft Visual Studio
Matlab
LabVIEW
ECLiPSe
DOORS
CDVTool
C Programming Language
Airbus A380 Aircraft
Airbus A320 Aircraft
Ada
AWK
SCADE
UML

Entreprises

  • Groupe SII - Ingénieur V&V A350 FCGS

    Paris-13E-Arrondissement 2011 - maintenant Ingénieur V&V FCGS A350 – Département EYCCY d’Airbus – Programme
    A350

    Commandes de vol électrique, pilote automatique.
    Plateforme de simulation OCASIME.

    Définition d’un plan de charge - Construction de planning - Suivi d’activité (indicateurs)

    Adjoint au responsable d’équipe de validation des systèmes FCGS A350, A380 et des
    moteurs A320 néo.
    o Validation du système de commandes de vol (FCGS).
    o Création de solutions et développement d'outils pour l'aide à la validation :
    · De génération automatique de tests (45 000 tests).
    · De maintien des essais (non régression).
    · D'aide au suivit de l'activité (indicateurs).
    o Suivit du transfert de l'activité de conception des outils d'aide à la validation en Inde.

    Python, Perl, AWK, Scade, DO-178b

  • Groupe SII - Ingénieur Informatique Embarqué

    Paris-13E-Arrondissement 2010 - 2011 Software - RMS de Thales Avionics - Programme ATR-600 - Société SII

    Création de tests Unitaires pour la validation du code embarqué de la radio navigation.
    o Conception d'un générateur de tests unitaires pour la validation des méthodes accesseurs.
    o Relecture de code et d’exigences (LLR).
    o Relecture du model.
    o Conception.

  • LAAS-CNRS , Toulouse - Stage

    Toulouse 2010 - 2010 Mise en œuvre simultanée de fonction de commande embarquées et de
    leur diagnostic - Département DISCO : Diagnostic, Supervision et Conduite - LAAS-CNRS

    o Spécification formel des modèles à évènements discrets Statecharts.
    o Spécification de méthodes de génération automatique de Statecharts en C++.
    o Création d’algorithmes d’évolution générique en C++ pour les systèmes embarqués
    o Spécification et mise en place d’algorithme pour la détection automatique de symptômes
    pour l’aide au diagnostique

Formations

Réseau

Annuaire des membres :