Résumé
J'ai reçu un double diplôme d'ingénieur de TELECOM SudParis et de l'Ecole Nationale des Sciences de l'Informatique (ENSI) en 2013 et un diplôme de Mastère en génie logiciel de l'ENSI la même année.
Je contribue actuellement au développement et au suivi de développement de composants logiciels dédiés à la ligne de produit AIRBUS Safety-Critical Basic Software (RTOS, DAL A pour futurs programmes avions ~2025/2030)
Récemment :
- Ingénieur d'étude à 6MOUV : développement de composants logiciels pour Simulateurs de vol professionnels,
- Chef de projet à AUSY au sein du département Méthodes et Outils pour Airbus (New Ways Of Working)
- Ingénieur d'études et développement logiciel à AUSY, Toulouse, spécialisé dans le développement d'outils de vérification et d'analyse dynamique dédiés aux logiciels avioniques.
Je suis aussi intéressé par la conception, le développement et la vérification des logiciels embarqués temps-réel du monde avionique (DO-178B/C).
Mes récentes recherches ont également inclus l'utilisation de l'Ingénierie Dirigée par les Modèles (IDM) et la vérification formelle de code par preuve dans le processus de développement et l'étude de leur déploiement dans l'industrie aéronautique et spatiale.
Expériences professionnelles
Software component owner
AIRBUS OPERATIONS S.A.S , Toulouse
Ingénieur logiciel avionique
6MOUV , Colomiers - CDI
De Décembre 2016 à Août 2017
Ingénieur de conception logiciel
EUROGICIEL , Labège - CDI
De Septembre 2016 à Novembre 2016
Chef de projet
AUSY , Toulouse - CDI
De Juillet 2015 à Août 2016
Méthodes et Outils de Conception et Vérification de logiciels avioniques
Méthodes formelles
Ingénieur d'études et développement
AUSY , Toulouse - CDI
De Mars 2013 à Juillet 2015
--- Projet Simugene - Airbus Operations S.A.S (département EYYW):
Développement de plateformes virtualisant des calculateurs, des bancs d'intégration logiciel et des outils de tests du monde aéronautique dédiés à la vérification et à la validation des logiciels avioniques.
Ingénieur de recheche logiciel
ATOS , Toulouse - Stage
De Septembre 2012 à Janvier 2013
- Vérification formelles de code embarqué synchrone à partir d'une conception orientée modèles:
* Formalisation et définition d'une sémantique de la norme UML pour les diagrammes d'activités afin de générer à partir de cette modélisation du code embarqué critique.
* Définition d'une approche de vérification formelle libre (automates déterministes en YA / propriétés ACSL).
- Développement:
* prototype en Java EMF de génération d'annotations ACSL et d'automates déterministes en YA pour le lancement d'une campagne de preuves unitaires avec Frama-C (WP & Aoraï).
Ingénieur logiciel avionique
AIRBUS OPERATIONS S.A.S , Toulouse - Stage
De Février 2012 à Août 2012
- Vérification formelle de logiciels avioniques:
* Migration automatique d'une campagne de preuves unitaires de Caveat à Frama-C/WP d'un logiciel avionique de criticité A (DO-178B).
* Spécification des exigences bas niveau d'un logiciel avionique de criticité D (DO-178B) en ACSL en vue d'une campagne de preuve unitaire complète.
It project manager - methods & tools
AUSY , Toulouse
Formations complémentaires
Diplôme d'ingénieur
Télécom SudParis - Architecte de Services informatiques en Réseau
2011 à 2013
Diplôme d'ingénieur
Ecole Nationale des Sciences de l'Informatique - Informatique
2009 à 2013
En double diplôme avec Télécom SudParis
Diplôme des Etudes Universitaires du Premier Cycle (DEUPC)
Institut Prépartoire aux Etudes d'Ingénieurs de Tunis - Mathématiques - Physique
2007 à 2009
Diplôme de Mastère en Informatique
Ecole Nationale des Sciences de l'Informatique - Génie logiciel
2012 à 2013
Mastère de recheche en génie logiciel dans le cadre de la convention de double diplôme entre Télécom SudParis et l'ENSI.
Associations
International Virtual Aviation Organization
Ex- Tunisia division staff member (Event coordinator, web master, special operations coordinator)
Parcours officiels
Langues
Arabe - Langue maternelle
Français - Courant
Anglais - Technique
Allemand - Notions
Compétences
Centres d'intérêt
- Informatique
- Programmation
- réseaux
- musique
- direction d'orchestre
- piano
- composition