Ingénieur système amont chez THALES Systèmes Aéroportés
Mes compétences :
Ada
Eclipse
EMF
Intelligence artificielle
JAVA
JAVA Eclipse
Prolog
Sciences cognitives
Entreprises
Thales Airborne Systems
- Ingénieur Spécifications et Interfaces
Courbevoie2014 - maintenant
Thales Airborne Systems
- Ingénieur système Amont
Courbevoie2010 - 2013
Thales Systèmes Aéroportés
- Responsable Etudes amont en ingénierie système et logiciel
Courbevoie2008 - 2009Plate-forme d'innovation Temps-réel et embarqué
Validation amont de modèles par simulation.
Réseau d'excellence modélisation
Outil de modélisation pour les collaborations externes
THALES RESEARCH and TECHNOLOGY
- Expert en systèmes temps-réels
Courbevoie2006 - 2008Projet Usine Logicielle : plateforme de développement de systèmes temps-réel et embarqué.
- Modélisation UML d'un cas d'étude pour démontrer l'apport de l'utilisation du profil MARTE pour l'analyse de performance, le test et la simulation.
- Evaluation des outils de la plateforme à partir de ce même cas d'étude.
- Etudes sur les évolutions à apporter pour correspondre aux besoins des unités de THALES.
Eclipse, MARTE, UML, ATL, ...
THALES Airborne Systems
- Recherche en technologie du logiciel
Courbevoie2005 - 2006Etude sur la conformité des programmes à leurs spécifications. Projet DANOCOPS en partenariat avec des laboratoires de recherche. Recherches et développement d’un prototype. Prolog, JML
THALES Airborne Systems
- Recherche en technologie du logiciel
Courbevoie2004 - 2006Etude sur la conformité des programmes à leurs spécifications. Projet MUTATION en partenariat avec THALES Research & Technology, C.E.A. et INRIA.
Application de la méthode à un cas réel THALES. UML, OCL
THALES Airborne Systems
- Ingénieur système logiciel
Courbevoie2003 - 2006Département des contre-mesures. Equipement du Mirage-2000. Développement Ada du Centralised Intelligent Process Unit.
THALES Airborne Systems
- Ingénieur système logiciel
Courbevoie2001 - 2004Diagnostic automatique à base de modèles. Projet Européen CHEM en partenariat avec des industriels et laboratoires de recherche européens. Adaptation de la méthode au processus continus. Recherches et développement d’un prototype. Prolog, Java.
THALES Airborne Systems
- Recherche en technologie du logiciel
Courbevoie2001 - 2001Génération automatique de cas de tests de logiciels. Projet InKA. Développement d’un analyseur C++. Prolog.