Je suis membre, depuis 1999, de l'Association Française d'Ingénierie Système (AFIS ) au sein du groupe "Méthode et Outils" (. ) Comme l'AFIS est membre affilié de l', (International Council on Systems Engineering), et son représentant en France, je suis donc membre de cette association.

Je suis "Evaluateur - Coordonnateur" CERTIFER en tant qu'expert "logiciel critique".

Depuis le 1 Juin 2002 : Consultant indépendant

Mon poste d'Enseignant Chercheur Contractuel (ECC) me permet d'avoir une activité de consulting complémentaire à mon activité principale.

Les actions que j'ai réalisées:

A venir

Retour au début

Depuis le 1 Septembre 2002 : Evaluateur-Certificateur pour CERTIFER

CERTIFER est une association loi 1901 qui a pour activité de "certifier les systèmes ferroviaires".

Les actions réalisées en 2004 :

A venir ;

Les actions que j'ai réalisées en 2003

Etude de la conformité de la gestion et de la mise en œuvre d'un compilateur ADA par rapport à la norme EN 50128.

Etude de la conformité d'un développement formel par rapport à la norme EN 50128 dans le cadre d’une CERTIFICATION.

Etude de la conformité de l’évolution d’un système ferroviaire préalablement certifié dand le cadre d’une CERTIFICATION.

Evaluation du processus de développement et de validation d’un système ferroviaire conformément à la EN 50128.

Retour au début

Depuis le 1 Juin 2002 : Université de Technologique de Compiègne

Depuis le 1 Juin 2002, je suis "Enseignant Chercheur Contractuel" au sein de l'Université de Technologie de Compiègne.

Ce poste couvre deux aspects l’enseignement et la recherche.

Action menée en 2003-2004 :

v Aspect enseignement :

v Aspect Recherche :

v Etude spécifique :

Ø Aucune.

Action menée en 2002-2003 :

v Aspect enseignement

Ø Je suis co-responsable de l'UV LO08 qui est l'UV d'enseignement du "Génie Logiciel"

Ø Je m'occupe d'un groupe (TD/TP) au sein de l'UV NF16 qui traite de l'algorithmique en C.

Ø Je suis co-responsable de la mise en place de deux nouvelles UV GL1 et GL2 qui remplaceront l'UV LO08.

v Aspect Recherche

Ø avec l'INRETS-ESTA et le LIFL, nous mettons en place une méthodologie outillée pour concevoir des circuits numériques sûrs de fonctionnement au travers d'un couplage entre la méthode B et le langeg VHDL.

Ø ABTOOLS : développement en JAVA d'un environnement de développement libre pour la méthode B.

v Etude spécifique:

Ø Soisson logiciel libre: Dans le cadre d'une étude spécifique pour soisson technopôle, nus étudions les possibilités de développement économique autours des logiciels libres. Cette étude doit définir les stratégies de recherche et de formation à mettre en place.

Retour au début

Du 1 Juillet 1999 – 31 Mai 2002 : RATP

Du1 juillet 1999 au 31 Mai 2002, j'étais un agent RATP, j'ai été commissionné le 1 Juillet 2000. Je fais partis du département EST (Equipement et Système du Transport) et je travaille au sein de l'unité ITF (Ingénierie du Transport Ferroviaire).

L'unité ITF est composée de plusieurs entités et de deux laboratoires. L'un de ces laboratoires est le premier laboratoire de qualification des logiciels (AQL) étant accrédité pour des essais du programme 152 du COFRAC.

Je suis actuellement "Responsable de la validation", "Responsable Projet" et "Responsable d'affaire" :

Responsable de la validation des logiciels critiques des équipements sols du SAET- METEOR.

Responsable Projet pour la validation des logiciels dans le cadre du renouvellement de la ligne 13.

Responsable d'affaire pour la validation de logiciel de contrôle/commande implanté au sein d'automate (Escalier mécanique, Ascenseur, Poste de Redressement …)

Retour au début

Mars à Juin 1999 – XILOG (SSII)

De 1995 à 1999, j'avais le poste d' "Ingénieur de Validation" au sein de l'entreprise XILOG qui fait partie du groupe DUONS-SYSTEME.

J'ai réalisé les missions suivantes:

Vérification et Validation de la fonction ANTICOLLISION de METEOR au sein de la RATP dans le cadre des mises à jour. Dans ce cadre, il a fallut mettre en place un processus basé sur la notion "d'impact" afin de ne valider que ce qui est impactées par les évolutions.

Suivie d'une action de recherche sur les langages formels et la validation pour le compte de l'entreprise CSEE-transport.

Retour au début

1995 à 1999 CESIR (SSII)

De 1995 à 1999, j'avais le poste d' "Ingénieur d'études et de recherches" au sein de l'entreprise CESIR.

Etudes sur la formalisation et la validation de propriétés pour les logiciels critiques, notamment dans le cadre de développements formels.

Mise en pace de processus et Développement d'application sécuritaire pour CSEE-transport.

1. Mise en place d'un processus de développement formel basé sur le langage LUSTRE et l'environnement de développement SCADE.

2. Développement d'une application qui concerne le système européen ERTMS et suivant le processus développé précédemment avec l'environnement SCADE (LUSTRE).

Vérification et Validation de la fonction ANTICOLLISION de METEOR au sein de la RATP.

Etude de sécurité pour le compte de la SNCF.

Audit d'application développée avec la méthode B pour l'Aérospatial.

Retour au début

1996 : ISEP (Institut Supérieur d’Electronique de Paris)

Chargé de cours et de TD de calcul formel, avec utilisation de l’outil MAPPLE sur PC, à l’ISEP en 2ème année d’ingénieur.

Retour au début

1994-1995 INRETS (Institut National de Recherche sur les Transports et leur Sécurité)

Ingénieur de recherche

Retour au début

1992-1993 (Université de Lille I)

Allocataire de recherche au sein de l'équipe du Professeur Gérard Jacob. Etudes et recherches consacrées à l'implantation et la résolution de contraintes algébriques au sein du système de calcul formel Axiom (devenue A#).

Retour au début

1990 - 1994 (Université de Lille I)

Vacataire de Cours - TD en DEUG A 2ème année à l'université de Lille 1.

Introduction au système informatique (MS-DOS et Windows).
Présentation au langage PASCAL,
Introduction avancée à l'algorithmique.

Retour au début

1988 - 1990 (Université de Lille I)

Moniteur d'informatique dans le cadre du plan I.P.T de l'Education Nationale, à l'université de Lille 1.

Introduction au système Unix,
Introduction au langage PASCAL,
Introduction à l’algorithmique.

Retour au début

1987 - 1988 (Université de Valenciennes)

Moniteur d'informatique dans le cadre du plan I.P.T de l'Education Nationale, à l'université de Valenciennes.

Introduction à MsDos, à Windows et au langage Pascal..

Retour au début

Dernières modifications le : 28 février 2004