-
Ansaldo STS, a Hitachi Group Company
- Ingénieur validation et sûreté de fonctionnement logicel
Les Ulis
2013 - maintenant
Contexte Projet
Dans le cadre du projet suédois ESTER, ERTMS Level 2, niveau sous-système interlocking.
Réalisations
* Validation des principes de signalisation (écriture des catalogues et procédures de test). ;
* Rédactions des preuves implémentant les exigences sécuritaires du client. ;
* Vérification des preuves.
Environnement technique
* OS: Windows 7 ;
* Outils: Simulateur Whitebox, SCADE, PROVER Certifier. ;
* Programmation: HLL. ;
-
ALL4TEC
- Ingénieur validation de logiciels
Massy
2013 - 2013
Contexte Projet
Dans le cadre du projet MaTeLo (Version 5.0).
MaTeLo est un logiciel permettant de générer des tests à partir de modèles de test.
Réalisations
* Réalisations de l'aide de la nouvelle version du logiciel. ;
* Réalisations de modèles de test dans le but de valider le logiciel.
Environnement technique
* OS: Windows 7
* Outils: MaTeLo. ;
-
GENERAL ELECTRIC
- Ingénieur validation de logicels
Paris
2011 - 2012
Contexte Projet
Dans le cadre du projet DELTA, dont le but était de réaliser un système CBTC de zéro.
Travail plus spécifique sur l'enclenchement et l'ATC bord.
Réalisations
* Modélisation et validation de plusieurs fonctionnalités de l'ATC bord et de l'enclenchement sous MaTeLO. ;
* Gestion et exécutions des tests sous NI TestStand. ;
* Réalisations de tutoriels pour l'utilIsation de la chaine outillée (MaTeLo et outils National Instruments)
Environnement technique
* OS: Windows 7 ;
* Outils: MaTeLo, outils NI Vertistand, NI testStand, Matelab Simulink. ;
-
AUTOLIV
- Ingénieur sûreté de fonctionnement logiciel
Cergy
2011 - 2011
Contexte Projet
Dans le cadre du remplacement ponctuel d'une personne en absence pour maladie.
Intervention sur plusieurs projets chez l'équipementier Autoliv qui fournit des logiciels de déploiements d'airbags.
Réalisations
* Vérification des plans de test et safety liés aux activités SDF logiciel selon la norme ISO 26262.
* Réalisation des modèles de vérification de documents SDF (plan sécuritaire, analyse préliminaire de risques) selon la norme ISO 26262.
* Vérification de la cohérence de documents SDF (AMDEC fonction, AMDEC Composant et matrice de testabilité des composants) pour le service « Assurance Qualité ».
* Environnement technique
* OS: Windows.
* Référentiels: norme ISO 26262. ;
-
ALL4TEC
- Ingénieur développement logiciel
Massy
2011 - 2011
Contexte Projet
Dans le cadre des projets de recherche ALL4TEC et des projets internes.
* Le logiciel « SafetyArchitect » est un logiciel aidant à réaliser des AMDE en se basant sur des modèles fonctionnels :
http://www.all4tec.net/Model-Based-Safety-Analysis/safety-architect.html
* Le logiciel « SafetyCodeReviewer » est un outil permettant de faciliter, d'organiser la relecture de code d'un logiciel et de générer des rapports de relectures de code automatique.
Réalisations
* Développement d'une passerelle logicielle en Python permettant de transformer un modèle UML de type « SafetyArchitect » au format UML de type « Core ».
* Développement en PHP des évolutions et corrections des bugs du logiciel SafetyCodeReviewer.
* Environnement technique
* OS: Windows.
* Programmation: Python, PHP. ;
* Outils: SafetyArchitect, SafetyCodeReviewer. ;
-
RATP
- Ingénieur sûreté de fonctionnement du logiciel
Paris
2011 - 2011
Contexte Projet
Dans le cadre des projets
* OCTYS L3/L5 : modernisation du système CBTC des lignes 3 et 5 du métro parisien et ;
* du projet PUMA AC3, logiciel de pilotage de moteur de métro.
Réalisations
* OCTYLS L3/L5: Reformulation des propriétés de sécurité sur les données système dans le but de les prouver à l'aide de l'outil OVADO. ;
* PUMA AC3: Contrôle du processus de développement de l'industriel décrit dans les plans ;
* PUMA AC3: Contrôle des fournitures de l'industriel relatives à la phase de spécification et aux phases de vérification et de validation du logiciel ;
Environnement technique
* OS: Windows. ;
-
ALSTOM Transport
- Ingénieur validation de logiciels
2011 - 2011
Contexte Projet
Dans le cadre des projets
* URBALIS U400, au niveau de l'ATC sol du système CBTC urbalis U400.
Réalisations
* Développement d'un script python permettant de transcrire les cas de tests MaTeLo vers le langage du simulateur propriétaire ALSTOM MASTRIA.
Environnement technique
* OS: Windows.
* Programmation: Python.
-
ALSTOM Transport
- Ingénieur sûreté de fonctionnement logiciel
2008 - 2010
ALSTOM TRANSPORT( La Rochelle et Villeurbanne )
Contexte Projet
Dans le cadre des projets
* STEP (Alstom Villeurbanne) : plateforme logicielle permettant d'échanger des données de manière sécuritaire. ;
* AGV (Alstom La Rochelle) : Automotrice grande vitesse, travail sur le contrôle commande de l'AGV.
Réalisations
* STEP: Relecture critique de code sur le logiciel et mise à jour de l'AEEL. ;
* AGV: Réalisation de l'AMDE. ;
* AGV: Vérification des exigences de sécurité SIL2 ;
* AGV: Réalisation des arbres de défaillances sous ARALIA SIMTREE sur certains composants de l'AGV.
Environnement technique
* OS: Windows.
* Programmation: C, ControlBuild.
* Outils: Understand for C, Beyond Compare.
-
Renault
- Pilote Outil spécification OS et Outils de check Code au sein du service Méthode Qualité Logiciel
Boulogne-Billancourt
2008 - 2008
Contexte Projet
Dans le service Méthode et qualité sur les projets de contrôle commande du groupe moto-Propulseur chez Renault LARDY.
Réalisations
* Maîtrise d'ouvrage pour la réalisation d'un outil réalisant un OS (ordonnancement de tâches).
* Etudes des logiciels (QAC, PolySpace Verifier) dans le cadre de la vérification des règles de codage du contrôle commande du groupe moto-propulseur.
* Réalisation de la recette du logiciel AGS suite aux corrections de bugs et aux demandes d'évolutions formulés par les utilisateurs
Environnement technique
* OS: Windows.
* Matlab simulink ,QAC, PolySpace Verifier. ;
-
ALSTOM Transport
- Ingénieur sûreté de fonctionnement
2006 - 2006
Contexte Projet
Dans le cadre des projets Métro CBTC Lausanne (M2) et Singapour (North East Line, Circle Line), sur les sous-systèmes ATP bord et sol.
Réalisations
* Relecture critique de code (sur les logiciels ATP bord et sol)
* Mise à jour d'une AEEL sur l'ATP bord (North East Line)
Environnement technique
* OS: Windows.
* Programmation : ADA, Modula 2.
* Outils: Beyond compare, understand for Ada. ;
-
PolySpace Technologies
- Ingénieur
2004 - 2004
Contexte Projet
Dans le cadre de la validation du logiciel « Polyspace Verifier ADA95 ».
Réalisations
* Développement en ADA 95 de tests fonctionnels nécessaire à la validation du logiciel : Verifier Ada 95 ;
* Rédaction des plans de tests, développement des jeux de tests, rapports d'anomalies, manuel d'utilisation et bilan des tests, développement et analyse de programmes temps réel en C/ADA 95. ;
