Mes compétences :
Fiabilité
Sûreté de fonctionnement
Maintenance
Disponibilité
Génie logiciel
Validation Sécuritaire
Ada
SCADE
Méthode B
Entreprises
SIEMENS
- Ingénieur Sûreté de Fonctionnement
Saint-Denis2011 - maintenant
Gemalto
- Stagiaire en Méthodes Formelles
Meudon2008 - 2008Génération automatique des tests à partir de modèles formels, pour une application embarquée sur carte à puce (IAS) :
- Étude du fonctionnement de l’outil de génération automatique de tests à partir de modèles
formels, en compétition avec un outil de génération de tests à partir de modèles B,
- Étude des propriétés de sécurité de l’application IAS,
- Conception des commandes de l’application IAS et des scénarios de test adapté au banc de
test interne de la société.
