Michel Moreau

FreezySnail développe vos applications pour iPhone et iPad

- Applications vitrines : Création d'applications simples permettant de mettre un premier pied sur la plateforme iPhone ou iPad

- Création d'applications commerciales : Adaptation de sites web commerciaux en applications iPhone ou iPad, création d'applications de support de ventes ou de recrutement de prospects.

- Applications internes : A destination des sociétés disposant d'une flotte d'iPhone ou d'iPad. Développement d'applications internes, logistiques ou systèmes d'informations.

http://www.freezysnail.com

Avril 2009 à Décembre 2009

• Expertise méthodes sur le projet collaboratif européen CHESS (Création d’un processus développement multi domaine : ferroviaire, avionique, spatial et télécom, avec une approche orientée model - MDA).
• Définition du langage (sous-ensemble du profil temps-réel UML/MARTE) et de la méthodologie CHESS.

Contexte technique : UML MARTE, Eclipse, MDA

Mars 2008 à Mars 2009

• Expertise méthodes et outils auprès des équipes de développement logiciel de l’Airbus A350 pour les phases de rédaction de spécifications en vue d’une certification DO-178B niveau C.

Contexte technique : UML, DO178B niveau C, TopCased

Aout 2007 à Décembre 2007

• Support méthodes et outils pour les équipes du FMS de l’Airbus A400M.
• Définition de normes de modélisation et de codage.
• Réalisation d’outils d’analyse de modèles UML et d’analyse de code.

Contexte technique : Ada95, UML, DO178B niveau C

Septembre 2005 à Juillet 2007

• Leader technique de l’équipe IHM du FMS de l’Airbus A400M.
• Responsable Gestion de Configuration ClearCase UCM de l’équipe.
• Responsable intégration et performances de l’équipe.

Contexte technique : Ada95, UML, DO178B niveau C, OOTIA, ClearCase UCM

Décembre 2004 à Aout 2005

• Coach UML/Ada95 pour l’équipe IHM du FMS de l’Airbus A400M.
• Rattaché à l’équipe Méthodologie pour les aspects couvrant toutes les équipes du projet.
• Rédaction de normes de codage en regard de l’OOTIA (Object Oriented Technology in Aviation) et de la norme DO-178B.

Contexte technique : Ada95, UML, DO178B niveau C, OOTIA

Novembre 2004

• Audit de conformité au standard MISRA-C dans le cadre d’un développement embarqué automobile.
• Automatisation de l’audit avec l’outil SpLint.

Contexte technique : C, MISRA, SPLint

Aout 2004

• Campagne de tests unitaires d'une centrale inertielle.
• Développement et tests en Ada95 avec l’outil VectorCast/Ada.

Contexte technique : Ada95, VectorCast, tests MC/DC

Février 2004 à Aout 2004

Stage de Fin d’Etude :
• Optimisation d’algorithmes de traitement d’images et portage sur plate-forme Temps Réel Mercury, sur cible multi-processeurs.
• Audit et mise en conformité du projet au standard MISRA-C.
• Définition de règles de codage orientées sureté de fonctionnement et performances.

Contexte technique : C, PowerPC7410, FPGA, MCOS, MISRA

Juillet 2003 à Aout 2003

• Portage sous VxWorks d'un middleware.
• Réalisation d’un analyseur de ligne série (RS232) en Ada95.

Contexte technique : Ada95, C, PowerPC604, VxWorks

Septembre 2002 à Février 2003

Stage de 2ème année d’Ecole d’Ingénieur :
• Spécification, modélisation, développement et tests d’un middleware multitâche temps réel en Ada95 dans le cadre de la réalisation du TGV Coréen.
• Etude sur les méthodes de certification des unités génériques en Ada95.

Contexte technique : Ada95, Intel x86, Sun SPARC, Tcl/Tk, MakeFile, Assembleur PowerPC

Juillet 2002 à Aout 2002

• Mise en place et automatisation d’une chaîne de compilation multi-cibles (Intel x86, PowerPC, Sun SPARC), multi-compilateurs (ObjectAda, GNAT, GCC) et multi-langages (Ada95 et C).

• Réalisation d’une bibliothèque d’émulation FPU sur cible PowerPC 603.
• Tests de couverture niveau assembleur avec l’outil AdaCover.

Contexte technique : Tcl/Tk, GCC, Gnat, ObjectAda, Ada95, C, PowerPC 603

Juillet 2001 à Aout 2001

• Support technique auprès des clients d’Aonix sur les produits ObjectAda/AdaWorld (compilateurs Ada95/83) et VectorCast (tests unitaires).

Contexte technique : Ada83/95, ObjectAda, AdaWorld

Mai 2000 à Aout 2000

Stage de BTS :
• Développement en Ada95 et tests unitaires avec l’outil VectorCast dans le cadre d’un projet européen de plate-forme de signalisation ferroviaire (norme ERTMS), certifié EN50128 SIL4.

Contexte technique : Ada95, EN50128