photo de profil d'un membre

Mohamed Habib ESSOUSSI

Jeune ingénieur diplômé de Télécom SudParis et de l'ENSI avec un mastère de recherche en génie logiciel

TOULOUSE (31100.) France

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

http://tn.ivao.aero

Ex- Tunisia division staff member (Event coordinator, web master, special operations coordinator)

Tou'Win

http://touwin.com

Membre Joueur

Parcours officiels

Télécom SudParis – Ingénieur Télécom SudParis – Architecte de Services informatiques en Réseaux (ASR) – 2013

Langues

Arabe - Langue maternelle

Français - Courant

Anglais - Technique

Allemand - Notions

Compétences

Développement logiciel
C/C++/STL, Qt, POSIX, Perl, Shell, programmation concurrente, temps réel
Vérification formelle de logiciels critiques
preuve formelle, analyse statique, ACSL, Frama-C, WP, Coq
Ingénierie Dirigée par les Modèles
UML, SysML, OCL
Avionique
IMA, DO-178C, Embedded Real-Time Operating Systems, Safety-Critical Software

Centres d'intérêt

  • Informatique
  • Programmation
  • réseaux
  • musique
  • direction d'orchestre
  • piano
  • composition