Antoine - Ingénieur système DO178

Depuis Octobre 2006 ESTEREL TECHNOLOGIES, Elancourt (78), France. Esterel Technologies est une compagnie informatique qui développe le logiciel SCADE, utilisé dans les applications critiques de systèmes embarqués (système de navigation, GPS, contrôleur de vol, etc…) dans le but d’améliorer le temps de développement ainsi que la qualité des programmes embarqués. En tant que Consultant SCADE, j’ai :

• Projets DO-178b en SCADE : SAGEM, Argenteuil/Eragny/Montréal (projets multi sites de 2 ans)
- Développé des modules d’un GPS et de la centrale inertielle sous contraintes DO-178B niveau A.
- Développé sous SCADE 6.0 un prototype pour la vérification des exigences systèmes et des performances attendues sur cible.
- Ecrit des scénarios de tests de validation HLR/LLR sous simulateur SCADE 5.1.1/6.0 et sous IBM RTRT.
- Effectué les revues de spécifications, d’architecture, de design, de tests ainsi que la traçabilité par la RMGateway.
- Vérifié les standards de développement, la gestion de configuration et le taux de couverture avec MTC.
- Aidé les équipes Sagem à développer une expertise des outils SCADE.
- Qualifié des outils et des librairies (développement de la spécification et exécution des tests).

• Cas de test et procédures pour un système d’incendie du Learjet200: Meggitt Safety Systems, Montréal
- Développé les cas de test sous Doors selon la spécification d’un système de détection d’incendie DO-178b Level B.
- Créé les procédures associés aux cas de test pour la vérification en SCADE et RTRT du modèle.

• Expertise SCADE pour la génération du code C généré automatiquement: Thales Canada, Montréal
- Développé une librairie en langage SCADE 5.1 basée sur une librairie équivalente développée en code C.
- Mesuré la couverture des libraires SCADE selon le critère MC/DC.

• Expertise pour l’amélioration de la traçabilité: Pratt&Whitney Canada, Longueil, Toronto
- Evalué la RMgateway/Rectify pour valider son utilisation, afin d’améliorer la traçabilité de l’ensemble des projets.

• Expertise sur la Simulink Gateway: SAGEM, Eragny / EADS ST, Les Mureaux.
- Traduit des modèles Simulink en modèles SCADE 5.1.1/ 6.0, grâce à la Simulink Gateway.
- Mesuré les performances du code C et ADA généré par SCADE 5.1.1 et 6.0.
- Développé un programme en C et en ADA de mesure du temps CPU.
- Optimisé les modèles par l’utilisation massive d’itérateurs SCADE 6.0 (map, fold, etc).
- Comparé le modèle Simulink avec une S-Function utilisant le code C généré le générateur de code C qualifié.
- Ecrit une série de tests de validation pour SCADE et Simulink.
- Vérifié en co-simulation le modèle Simulink et le code généré par KCG.
- Créé un « mode d’emploi » pour l’utilisation de la Simulink Gateway.
• Expertise des outils et des process développés autour de SCADE: THALES Land & Joint, Colombes / ESTEREL TECHNOLOGIE, Elancourt :
- Etudié la faisabilité et le développement DO-178B niveau A d’un modèle en SCADE 6.0 d’un radio altimètre.
- Démontré le processus de développement utilisant les modules de SCADE 6.0 permettant d’obtenir les crédits de certification (KCG, MTC, RM Gateway).
- Créé et donné des cours de formation (Simulink Gateway, itérateurs, enseignements des bases, etc.).
- Développé des applications en C et sous SCADE Display : affichage d’un satellite en orbite autour de la Terre, radar de détection d’avion, contrôleur en logique floue, algorithme de mesure de pire temps CPU.

Depuis Octobre 2006 ESTEREL TECHNOLOGIES, Elancourt (78), France. Esterel Technologies est une compagnie informatique qui développe le logiciel SCADE, utilisé dans les applications critiques de systèmes embarqués (système de navigation, GPS, contrôleur de vol, etc…) dans le but d’améliorer le temps de développement ainsi que la qualité des programmes embarqués. En tant que Consultant SCADE, j’ai :

• Projets DO-178b en SCADE : SAGEM, Argenteuil/Eragny/Montréal (projets multi sites de 2 ans)
- Développé des modules d’un GPS et de la centrale inertielle sous contraintes DO-178B niveau A.
- Développé sous SCADE 6.0 un prototype pour la vérification des exigences systèmes et des performances attendues sur cible.
- Ecrit des scénarios de tests de validation HLR/LLR sous simulateur SCADE 5.1.1/6.0 et sous IBM RTRT.
- Effectué les revues de spécifications, d’architecture, de design, de tests ainsi que la traçabilité par la RMGateway.
- Vérifié les standards de développement, la gestion de configuration et le taux de couverture avec MTC.
- Aidé les équipes Sagem à développer une expertise des outils SCADE.
- Qualifié des outils et des librairies (développement de la spécification et exécution des tests).

• Cas de test et procédures pour un système d’incendie du Learjet200: Meggitt Safety Systems, Montréal
- Développé les cas de test sous Doors selon la spécification d’un système de détection d’incendie DO-178b Level B.
- Créé les procédures associés aux cas de test pour la vérification en SCADE et RTRT du modèle.

• Expertise SCADE pour la génération du code C généré automatiquement: Thales Canada, Montréal
- Développé une librairie en langage SCADE 5.1 basée sur une librairie équivalente développée en code C.
- Mesuré la couverture des libraires SCADE selon le critère MC/DC.

• Expertise pour l’amélioration de la traçabilité: Pratt&Whitney Canada, Longueil, Toronto
- Evalué la RMgateway/Rectify pour valider son utilisation, afin d’améliorer la traçabilité de l’ensemble des projets.

• Expertise sur la Simulink Gateway: SAGEM, Eragny / EADS ST, Les Mureaux.
- Traduit des modèles Simulink en modèles SCADE 5.1.1/ 6.0, grâce à la Simulink Gateway.
- Mesuré les performances du code C et ADA généré par SCADE 5.1.1 et 6.0.
- Développé un programme en C et en ADA de mesure du temps CPU.
- Optimisé les modèles par l’utilisation massive d’itérateurs SCADE 6.0 (map, fold, etc).
- Comparé le modèle Simulink avec une S-Function utilisant le code C généré le générateur de code C qualifié.
- Ecrit une série de tests de validation pour SCADE et Simulink.
- Vérifié en co-simulation le modèle Simulink et le code généré par KCG.
- Créé un « mode d’emploi » pour l’utilisation de la Simulink Gateway.
• Expertise des outils et des process développés autour de SCADE: THALES Land & Joint, Colombes / ESTEREL TECHNOLOGIE, Elancourt :
- Etudié la faisabilité et le développement DO-178B niveau A d’un modèle en SCADE 6.0 d’un radio altimètre.
- Démontré le processus de développement utilisant les modules de SCADE 6.0 permettant d’obtenir les crédits de certification (KCG, MTC, RM Gateway).
- Créé et donné des cours de formation (Simulink Gateway, itérateurs, enseignements des bases, etc.).
- Développé des applications en C et sous SCADE Display : affichage d’un satellite en orbite autour de la Terre, radar de détection d’avion, contrôleur en logique floue, algorithme de mesure de pire temps CPU.

EXPERIENCE UNIVERSITAIRE ET STAGE
De Aout 2003 à Avril 2006 Université de Sherbrooke, Canada
Emploi : Auxiliaire de laboratoire, surveillance et contrôle d’examen et de travaux d’étudiants, j’ai dû:
- Développer la dynamique d’un système en variable d’état et en fonction de transfert, étudier les pôles/zéros, linéarisations, contrôleurs PID, asservissements en position d’une antenne avec Matlab.
- Créer la dynamique et les contrôleurs non linéaires d’un bras robotisé pour chaîne de montage et d’un robot nettoyeur de vitre, sous logiciel Dymola.

De Mai 2003 à Août 2003 Université de Sherbrooke, Canada
Stage : Développer en C un algorithme de logique floue pour le contrôle en position et vitesse des axes d’une grue et adapter le code dans une S-Function sous Simulink.

De Avril 2002 à Juillet 2002 Université Catholique de Kortrijk, Belgique
Stage : Développement et évaluation comparée d'un hacheur de tension sous Pspice et Caspoc.

Juillet 2001 RATP (chemin de fer métropolitain de Paris), France
Stage : Maintenir des postes de chargement de batteries à la RATP (Département MHT, atelier de Toul) :
- construire une platine électronique de développement pour microcontrôleur PIC (Microchips).
- concevoir l’électronique et le programme (assembleur) du microcontrôleur d’un déchargeur de batterie.

FORMATION
2006 Maîtrise en Sciences Appliquées (M.Sc.A.), Université de Sherbrooke, Canada
Projet en contrôle de système aérospatial et d’intelligence artificielle: «Rendez-vous de satellite autonome autour de Mars par la logique floue».
Grâce à un simulateur en Simulink développé par Alcatel Alénia Space, j’ai réalisé de la navigation et des contrôleurs en attitude par quaternions et en translation d’un satellite en orbite autour de Mars. J’ai développé des contrôleurs non linéaires en logique floue et en mode glissant. J’ai utilisé les données d’un LIDAR et d’un traqueur d’étoile. Ce travail m’a permis d’avoir une maîtrise approfondie de Matlab/Simulink.

2003 Ecole Supérieur de Technologie Electronique (ESTE), Noisy-le-Grand (93), France
Double diplôme : technologue de l’ESTE (Diplôme de niveau II) et licence professionnelle ETI (Electronique et technologie de l’information) mention Bien.

09/2002 – 07/2003 : Année d’échange à l’Université de Sherbrooke.

COMPETENCES TECHNIQUES
Logiciels et Progiciels Technique: SCADE 5.1.1/6.0 (dont modules: RM Gateway, Simulink Gateway, MTC, reporter) Matlab/Simulink, VisualStudio, Rectify, IBM RTRT, Rectify, MatriX-X/Systembuild, Dymola, Pspice, Scilab.
Gestion et bureautique: DOORS, SVN, CVS, Synergy, Office, Latex,
Langages
Normes C, C++, C# (notions), Assembleur 68000, Assembleur Microchip et Motorola, ADA (notions)
DO-178B, IEC 61508, EN 50128
Systèmes Windows, DOS, UNIX (Notions)
CAO Proteus, Mentor Graphics et Cadence