Siemens Infrastructure and Cities
- Ingenieur developpement / validation logiciel
2009 - maintenantA partir des spécifications équipement, l'ingénieur développement/validation logiciel spécifie et réalise les développements ou la validation
d'un ou plusieurs logiciels contenus dans ces équipements.
Liste des activités associées à la fonction
- Établit la rédaction des spécifications des logiciels, des cahiers de tests, ainsi que des documents techniques associés (en français ou en
anglais).
- Réalise le codage et/ou la validation des logiciels (tests, preuve formelle) dans le respect des procédures société (utilisation de la méthode B)
- Participe à l'intégration des logiciels au niveau équipement et/ou au niveau sous-système.
- Assure le support en usine ou sur site pendant la phase de mise au point.
- Assure les corrections d’anomalies et les évolutions demandées sur les logiciels.
Le stage s’inscrit dans le cadre du projet de recherche européen DEPLOY ( http://deploy-project.eu/index.html ), qui vise à
appliquer dans le milieu industriel la méthode B.
Dans le cas de STS, qui utilise déjà la méthode B pour le développement de ses logiciels, il s’agit d’appliquer la méthode B au
niveau système, avec le B-événementiel, supporté par la plate-forme RODIN ( http://www.event-b.org/platform.html ).
L’objectif du stage est de modéliser en B-événementiel un prototype simplifié de système ferroviaire et de prouver ce modèle.
Lip6 (laboratoire informatique de paris 6) (laboratoire de recherche en informatique)
- Stagiaire
2008 - 2008Formalisation, Spécification et Implantation de politiques de contrôle d'accès avec l'atelier Focal
