Mes compétences :
Methode B
Methodes
Méthodes Formelles
Sureté
Sureté de fonctionnement
Entreprises
ClearSy System Engineering
- Directeur Projets R&D
2006 - maintenant- développement de logiciels sécuritaires: AGL de maintenance des TGV Atlantique
- expert CERTIFER: évaluateur de logiciels critiques transport ferré
- promotion des outils logiciels: Développement de logiciels sûrs de fonctionnement, Modélisation et animation de systèmes
- montage et suivi de projets R&D: Régionaux (PACA, pôles de compétitivité SCS & Systematic), Nationaux (ANR, FUI, BGLE), Européens (UE/IST, Eureka, ITEA)
- dissémination: Workshops nationaux et internationaux, conférences, collaboration avec laboratoires de recherche, cours en université et école d'ingénieur (IRIT, ESIL).
ClearSy System Engineering
- Ingénieur Sûreté de Fonctionnement
2000 - 2005- Réalisation d'études (APR, AEEL, AMDEC, Dossier de sécurité) et de projets pour des logiciels/systèmes de sécurité ferroviaires de niveau SIL2 à SIL4 (pilote automatique de métro, décodage données balises, passerelle de communication MF2000, ampèremètre programmable sur voie, contrôle/commande de portes palières, etc).
- Preuve mathématique de logiciels SIL4
- Gestion des accords-cadre RATP/Atelier de Qualification Logiciel et SNCF/IGSF
Steria
- Ingénieur informaticien
Paris1995 - 1999Direction technique du développement et de l'amélioration d'outils mathématiques pour la démonstration (semi) automatique de la sécurité de logiciels
Etudes de sûreté de fonctionnement de logiciels de sécurité dans le domaine ferroviaire.
DIGILOG
- Ingénieur informaticien
1990 - 1995Ingénieur d'études:
- intelligence artificielle,
- traitement du signal pour des applications de reconnaissance de formes:
* classification d'échos de sonar,
* classification de bruits de pâles d'hélicoptère,
* classification de scènes d'agression dans le métro parisien
- simulation 3D du combat hélicoptère
