Processus et méthodes:
- CENELEC EN 50128, IEEE, ISO 9001, CMMI
- Agile, scrum
Compétences technique:
- Conception et architecture logiciel
- Systèmes & automatismes ferroviaires (CBTC)
- Méthodes formelles (méthode B)
- Sûreté de fonctionnement (système, logiciel, SIL4)
- Programmation (langages Ada, C et C++)
- Gestion de configuration (ClearCase, subversion, git)
Mes compétences :
Automatismes
CBTC
Informatique
Methodes
Méthodes Formelles
Programmation
Sécurité
Sureté
Sureté de fonctionnement
Transport
Transport ferroviaire