Menu

Nesrine BADACHE

Le Plessis-Robinson

En résumé

Mes compétences :
C
Avionics
Model checking
AUTOSAR
IMA
Capella
FMI
MARTE
SysML
Java

Entreprises

  • Cs Communication & Systemes - Ingénieur d'étude et de R&D

    Le Plessis-Robinson 2017 - maintenant

  • ARTAL Technologies - Ingénieur d'étude et de développement

    Labège 2015 - 2017

  • Oasys, Alger - Développeur

    2009 - 2009 Stage pratique en qualité de développeur, entreprise de services informatiques, Oasys, Alger.

Formations

  • INP - ENSEEIHT

    Toulouse 2011 - maintenant Doctorat

    - Définition d'une démarche de modélisation et d'intégration d'architectures embarquées
    avioniques et automobiles, interconnectées par des réseaux temps-réel( application à l'IMA).
    - Évaluation de performances de bout en bout par simulation.
    - Implantation de méthodes d'optimisation des performances des communications.
    - Développement d'un outil d'aide à l'intégration d'architecture.

  • Université Poitiers

    Poitiers 2010 - 2011 Master 2

    Projet de fin d'études de Master 2, Laboratoire d'Informatique Scientifique et Industrielle LISI-ENSMA, Poitiers:

    Sujet de stage: Modélisation et vérification formelle de systèmes à base de services (méthode B-événementiels).

  • Université Des Sciences Et De La Technologie Houarie Boumediène

    Alger 2008 - 2010 Master 1 et 2

    Projet de fin d'études de Master 2, Laboratoire des Systèmes Informatique LSI-USTHB, Alger.

    Sujet de stage: Conception, modélisation, méta-modélisation et réalisation d'une plate-forme sur une architecture à base de composants modulaires.

  • Université Des Sciences Et De La Technologie HOUARI BOUMEDIENE (USTHB)

    Alger 2005 - 2008 Licence

    Stage de fin d'études de Licence, Laboratoire des Systèmes Informatique LSI-USTHB, Alger.

    Sujet de stage: Conception et réalisation d’une application web de gestion de ressources.

Réseau

Annuaire des membres :