Menu

Paul KARP

SAINT-AVOLD

En résumé

Je développe de logiciels embarqués pour l'aéronautique et le ferroviaire (DO-178, EN 50128) et j'ai pu intervenir sur l'intégralité des phases du cycle en V, d'écriture des plans à la certification.
Je développe aussi les logiciels de support pour le développement des logiciels embarqués incluant les logiciels de génération de fichier de configuration, les simulateurs et les banc de test automatique.

Mes compétences :
Système embarqué
Temps réel

Entreprises

  • Leach International - Ingénieur logiciel embarqué aéronautique

    2009 - maintenant Développement de logiciels embarqués pour le coeur primaire (PEPDC) de la distribution électrique de l'A400M.
    - Mise à jour des spécifications et des documents de conception
    - Codage des évolutions et correction de bugs en C
    - Définition et mise à jour des tests de validation par rapport aux spécifications
    - Réalisation des tests de validation et rédaction des rapports

    Environnement technique :
    µControleur Infinion XC164 CS 32, Keil µVision3, sonde JTAG UNLIK2, Emulateur HITEX DTraceXC,µControleur Microchip dsPIC30F, MPLAB ICD2 et ICE 4000
    Vector CANoe, Serena Version manager, Doors, Gemini
  • EURILOGIC - Ingénieur logiciel

    CHATENAY-MALABRY CEDEX 2007 - 2009 Mission chez Aeroconseil - FMS (Flight Management System)
    Réalisations :
    Participation au développement de la norme NDBX - ARINC 424A (base de données de navigation embarquée)
    - Migration du modèle de donnée ARINC 424 vers un modèle de données UML
    - Définition des règles de transformation du modèle UML vers des schémas XML (XSD)
    - Etudes et choix technologiques
    * Technologie de binarisation et d'indexation de donnée XML
    * Validation avancée de XML avec Schematron
    - Extraction de la norme ARINC 424 des règles de validation des données applicables à NDBX
    - Écriture des règles de validation en Schematron

    Support et développement des bases de données de navigation (NDB) destinées au test en vol d'avions
    - Spécification des contenus de données NDB personnalisées
    - Vérification des données codées par les différents fournisseurs
    - Développement d’un logiciel de vérification automatique des NDB en JAVA
    * Génération de delta et détection d'erreurs de codage
    * Affichage des procédures de décollage et d'atterrissage en 3D

    Environnement technique :
    ARINC 424, NDBX, AIXM, UML, XML, EXI, Schematron, BXML, Java, NASA World Wind Java SDK, SIG

    Compétences clefs :
    * Navigation aéronautique et format de données ARINC 424 et NDBX
    * Développement de norme ARINC
    * Modélisation UML et XML
    * Validation avancée de données XML avec Schematron
    * Développement d'application en Java dans le domaine des SIG

    Juillet 2008 à Décembre 2008 – AEROCONSEIL en mission pour EURILOGIC

    (6 mois)
    Mission chez Aeroconseil BE ELEC "Génération et distribution électrique" (ATA 24)
    Réalisations :
    Intégration de la fonction de monitoring et de maintenance (BITE) pour le système électrique (ESF) de l'Airbus A400M
    - Définition et suivi des essais en laboratoire
    - Définition des évolutions systèmes (DCR), mise à jour des spécifications et suivi fournisseur
    - Rédaction des procédures de maintenance (TSM)

    Environnement technique : IMA (ARINC 653, CPIOM, BITE, AFDX), A429, CAN

    Compétences clefs :
    * Système aéronautique basé sur une architecture modulaire (IMA)
    * Intégration de la fonction de maintenance BITE sur un équipement avion
  • Thales Système Aéroporté - Ingénieur Logiciel Temps Réel / Embarqué (Apprentissage)

    Courbevoie 2007 - 2005 Au sein du service logiciel de la BU Électronique de missile

    (6 mois)
    Participation au développement d'un démonstrateur d'autodirecteur (système de guidage de missile) nouvelle génération.
    - Définition de l'architecture du logiciel opérationnel
    - Intégration d'un enregistreur haut débit au démonstrateur :
    * Validation des fonctionnalités et des performances du produit acheté sur étagère (COTS)
    * Développement d'un driver en C# pour piloter l'enregistreur par Ethernet
    * Développement d'un logiciel de dépouillement des données enregistrées
    * Intégration du driver au logiciel opérationnel du démonstrateur
    - Développement du banc de test utilisé pour l'un d'étalonnage des scanners du démonstrateur
    - Rédaction de la documentation technique (SRS, SDD, STP, STR, SUM, ...)

    Environnement Technique : UML 2.0, XML-RPC, C#, Frameworks .Net, Windows XP Embedded, OS temps réel RTX, Rational ClearCase, Visual Studio 2005

    Compétences clefs :
    * Développement de code managé C# et non managé C++
    * Architecture innovante mixant des composants temps réel critiques sous RTX avec des composant non critique sur le frameworks .Net
    * Protocole d'appel à distance XML-RPC
    * Rédaction des documentations techniques
    * Traçabilité des exigences

    (6 mois)
    Réalisation de test de couverture et de qualité du code source pour un logiciel embarqué dans un missile
    - Détection du code mort et du code non testé par les scénarios de validation
    - Classification puis test unitaire des composants logiciel jugés critiques
    - Amélioration de la couverture (création de nouveaux tests unitaires et de validation)
    - Réalisation du dossier d'étude destiné au client (OCCAR)

    Environnement technique : C, Telelogic Logiscope, Solaris et outils de développement du SUN Workshop.

    Compétences clefs :
    * Réalisation de test de qualité de code source
    * Environnement UNIX
  • THALES AVIONICS - Ingénieur validation logiciel

    Courbevoie 2007 - 2007 Dans la cadre du développement de la suite avionique de l'avion CASA C-295, participation aux activités de test et validation du logiciel de concentration de données (DCF) embarqué dans un module d'entrées/sorties (IOM)
    - Test unitaire des fonctions impactés par les évolutions
    - Modification et création de tests de validation fonctionnelle
    - Validation des versions logiciels candidates sur banc de test
    - Test d'intégration du logiciel au système
    - Mise a jour des documentations

    Environnement technique : ARINC 429, MIL-STD-1553, NI LabVIEW, ATTOL

    Compétences clefs :
    * Validation d'un logiciel embarqué aéronautique sur banc de test

Formations

Réseau

Annuaire des membres :