Menu

Sébastien SERANI

LÉOGNAN

En résumé

Mes compétences :
Langage c
Langage C++
JAVA
Javacard
Ada95
Debugging et optimisation
SVN
CVS
Synergy
DOORS
Rhapsody
Bash Script
Eclipse
Suite Microsoft Office
OS temps réel
CORBA
RPC
RMI
Programmation parallèles
Réseaux informatiques & sécurité
Systèmes et réseaux
Aéronautique
Middleware
C
Autonomie
Informatique
Capacité d'analyse et de synthèse
Jenkins
Oracle SQL Developer

Entreprises

  • Maincare Solutions - Ingénieur développement logiciel

    2014 - maintenant Maintenance et évolutions du logiciel M-GEF.
    La solution M-GEF supporte l’ensemble des fonctions opérationnelles de gestion de l’hôpital public touchant les ressources économiques, la comptabilité et la finance.

    Activités:
    - Chiffrage des évolutions, spécification, délimitation du périmètre
    - Prise en charge des développements
    - Tests croisés des développements
    - Prise en charge de back office
    - Gestion des environnements de développement et de packaging
    - Gestion de configuration SVN Jenkins
    - Livraison des versions
    - Travail collaboratif avec le Maroc
    - Refonte et maintenance de la base de connaissances du produit (wiki)

    Environnement technique:
    Langage C/C++, Oracle SQL Developer, PowerAMC, Tuxedo, LiberTP, Microsoft Visual C++, UNIX, Script Shell, VBScript, Panther, StarJet Design, SVN/Jenkins.
  • Cassidian - Consultant

    Blagnac 2013 - 2014 ** Client **
    EADS Tests & Services (Elancourt)

    ** Mission **
    Projet ASTS : Portage de la validation EXEC, non régression.
    Portage d'un environnement de test de non régression automatisé de UNIX vers MINGW/MSYS sous Windows 7.

    ** Environnement **
    UNIX, script Shell, C, compilation GCC, Makefile, MinGW, windows 7, SVN.
  • Magneti Marelli - Consultant

    Nanterre Cedex 2012 - 2013 ** Client **
    Magneti Marelli (Châtellerault)

    ** Mission **
    Reverse Engineering.
    Amélioration du processus de développement des tableaux de bords Volkswagen afin de prévenir les risques lors de l'ajout de nouvelles fonctionnalités:
    - Conception UML en reverse engineering, création de diagrammes de classes afin d'améliorer la compréhension du logiciel
    - Mise en place d'une traçabilité entre les exigences software et les fonctions du code source.

    ** Environnement **
    Rational Rhapsody Architect, Telelogic Synergy, Eclipse, Understand for C.
  • CSIE Bordeaux - Ingénieur conception, développement et validation logiciel embarqué

    Pessac 2012 - 2012 ** Client **
    THALES AVIONICS (Le Haillan)

    ** Mission 1 **
    Garantie logiciel du système FIMS (driver système de fichiers):
    - Analyse et chiffrage de faits techniques de garantie et d’évolutions.
    - Implémentation des faits techniques.
    - Validation des corrections.

    ** Environnement **
    Langage C, MACS2(OS temps réel), Norme DO178B Dal A, Compilateur Diab Data.

    ** Mission 2 **
    Garantie logiciel du système HORACE (driver graphique) sur site au Haillan:
    - Analyse des points bloquants entre la conception et le codage
    - Mise à jour de la conception
    - Définition des modifications à apporter dans le code.
    - Création de faits techniques.

    ** Environnement **
    Langage C, Norme DO178B Dal A, Open CL.
  • Oberthur Technologies - Consultant

    Colombes 2011 - 2012 ** Client **
    OBERTHUR CARD SYSTEMS (Pessac)

    ** Mission **
    Développement d’applets Java Card afin de valider les APIs Contactless Services (GlobalPlatform Card Specification) et Remote Application Management over HTTP (GlobalPlatform Card Specification) sur carte à puce:

    - Définition de la stratégie de test
    - Implémentation d’applets Java Card
    - Implémentation des tests de validation (script propriétaire Oberthur)
    - Réalisation de tests unitaires complémentaires
    - Mise à niveau des tests de validation
    - Implémentation du software visant à certifier le logiciel embarqué dans la puce (langage Python)
    - Prise en compte des nouvelles requêtes

    ** Environnement **
    Carte à puce, Langage Java Card, Global Platform, Script propriétaire Oberthur.
  • CSIE Bordeaux - Ingénieur conception, développement et validation logiciel embarqué

    Pessac 2010 - 2011 ** Client **
    THALES AVIONICS (Le Haillan)

    ** Mission 1 **
    Développement d’évolutions sur un driver de système de fichiers, FIMS A350:
    - Evaluation de code
    - Evaluation SRS
    - Développement de tests de validation en C
    - Rédaction des LLRs en reverse engineering
    - Création de faits techniques
    - Création de notes techniques d’analyse
    - Implémentation des faits techniques
    - Mise à niveau des tests de validation
    - Rédaction et mise à jour VDD, STR, STD.

    ** Environnement **
    Langage C, MACS2(OS temps réel), Norme DO178B Dal A, Compilateur WindRiver Diab Data.

    ** Mission 2 **
    Validation d’un driver de système de fichiers, FIMS S76:
    - Vérification du standard de codage sur FIMS S76,
    - Implémentation du code visant à respecter le nouveau standard de codage (Dal C vers Dal A)
    - Mise à jour du script permettant d’extraire les commentaires du code FIMS (DDD),
    - Intégration du driver FIMS sur un banc carte sans l’OS (MACS2), afin de réaliser les tests unitaires en « Top down » (couvrir la globalité du code en utilisant essentiellement les tests de validation puis les stubs MACS2)
    - Rédaction des LLRs en reverse engineering.
    - Création de faits techniques suite à des bogues potentiels découverts lors de la phase de reverse engineering
    - Mise jour du référentiel documentaire (RPP, évaluation de tous les livrables).

    ** Environnement **
    Langage C, MACS2(OS temps réel), Compilateur WindRiver Diab Data, Système de fichiers FAT32, SVN, Rational Test Real Time,SingleStep, script Shell, Norme DO178B Dal A .
  • Thales - Consultant

    Courbevoie 2010 - 2010 ** Client **
    THALES AVIONICS (Le Haillan)

    ** Mission **
    Vérifications du logiciel FDS S76-D sous ASSET :
    - Définition de stratégies de test,
    - Rédaction des procédures de vérification,
    - Mise au point des procédures de vérification sur bancs de tests,
    - Relecture croisée des procédures de vérification,
    - Passage formel des procédures de vérification sur bancs de tests.

    ** Environnement **
    ASSET, ELIOS, DOORS, bancs de tests Thales.
  • ASTEK Bordeaux - Ingénieur conception, développement et validation logiciel embarqué

    Bordeaux 2008 - 2010 ** Client **
    Sagem DS (Argenteuil)

    ** Mission **
    Implémentation du module RFB-OPER dans le cadre du développement du logiciel GPS pour la centrale inertielle de l'A400M:
    - Conception de l’application : rédaction d’exigences de bas niveau,
    - Codage des évolutions du logiciel en C,
    - Rédaction des procédures de tests de validation et d’intégration
    - Evaluation de code :
    - Mise en œuvre de Rulechecker,
    - Evaluation manuelle
    - Mise aux normes du code (DO178B Dal A)
    - Développement d’évolutions du logiciel.
    - Administration, livraison de documentation client sous DOORS.

    ** Environnement **
    Langage C, DOORS (script DXL), TREK, SYNERGY, Rulechecker, Norme DO178B Dal A, Understand for C
  • Thales - Stagiaire

    Courbevoie 2008 - 2008 ** Entreprise **
    THALES SA (Pessac)

    ** Mission **
    Développement d’une librairie visant enrichir un noyau temps réel propriétaire d’une couche CORBA:
    - Analyse du noyau FastOS,
    - Elaboration d’un compilateur croisé PowerPC pour permettre l’intégration de cette librairie
    - Développement d’une librairie permettant de connecter FastOS au middleware ICE (CORBA like)
    - Modification du noyau FastOS afin d’y intégré la gestion des mutex recursifs nécessaires au bon fonctionnement de ICE.
    - Benchmark de la solution sur cible PPC.

    ** Environnement **
    FastOS, C, POSIX, Linux, ICE (CORBA), PowerPC, GCC

Formations

  • Université Bordeaux I - Sciences Et Technologies

    Talence 2003 - 2008 Master Infomatique option Système et Réseaux - - Maîtrise des outils de débug, de développement logiciel en équipe (cvs, svn)
    - Des concepts de programmation (programmation impérative, fonctionnelle, logique, orientée objet, distribuée et parallèle)
    - Connaissances dans le domaine des réseaux , des systèmes d'exploitations, des systèmes répartis.
    - Connaissances dans le domaine de la modélisation
  • Lycée Les Iris

    Lormont 2000 - 2003

Réseau

Annuaire des membres :