Menu

Emilie TIMBOU

Saint Ouen Cedex

En résumé

Diplomée en Master Professionnel d'Ingénierie des Systèmes et Micro-systèmes embarqués, je me positionne sur le secteur du transport principalement, que ce soit dans l'aéronautique, l'automobile, ou le ferroviaire.

Mes compétences :
Ingénierie
Electronique
Aéronautique
Amélioration continue
Qualité

Entreprises

  • Robert Bosch Gmbh - Ingénieur Validation software

    Saint Ouen Cedex 2011 - maintenant Validation de logiciel de freinage ABS/ESP

  • Sagem - Ingénieur Informatique Industrielle Validation et Vérification

    PARIS 2010 - 2011 Activités technique de développement et vérification des calculateurs de contrôle moteur du SuperJet Sukhoï

  • Safran Engineering Services - Stagiaire

    Paris 2010 - 2010 Sujet de Stage : : Définition des méthodes et outils des spécifications formelles d’une application de maintenance (UML/SysML)

    Actuellement, les spécifications sont rédigées sous forme textuelle. L'objectif était de proposer une modélisation en UML/SysML afin de prouver que le formalisme utilisé, sous forme de diagramme, est plus compréhensible que des spécifications textuelle. Le fait de faire cette modélisation a pu mettre en avant les "défauts" d'écriture de spécification que ce soit concernant l'incohérence que les redondance d'exigences.

  • Continental Automative France - Stagiaire

    2009 - 2009 Sujet de Stage : Évaluation d'approches formelles pour la validation de logiciels embarqués.

    Les erreurs de programmes sont difficiles à détecter et sont couteux aussi bien pour les programmeurs qui consacrent des efforts important dans le débogage, que pour le système qui sont gardées par des contrôle d'exécution. La vérification statique peut réduire des coût en les aidant à détecter les bugs à la compilation, lorsqu'il est encore possible.
    Mon stage consistait à donner une méthode objectif en utilisant une nouvelle technique afin de compléter les spécifications par des expressions formelles de la description fonctionnelle et de améliorer la vérification automatique basé sur le calcul symbolique. Cette méthode permet d'automatiser le processus de vérification. L'outil utilisé était FRAMA-C

Formations

Réseau

Annuaire des membres :