Ce que nous pouvons accomplir ensemble:
Maîtriser les risques liés à l'exploitation de systèmes complexes et préserver la sécurité de ceux qui les conçoivent, les utilisent, ou les entretiennent.
Vous serez le/la garant·e de la sûreté de fonctionnement logicielle des systèmes embarqués critiques, afin de garantir une sécurité opérationnelle maximale.
Vous interviendrez auprès de grands comptes de la défense, de l’aéronautique, du spatial, du ferroviaire ou de l’automobile.
A ce titre, vous vous appuierez sur votre hiérarchie et sur les experts du domaine.
Votre rôle:
Votre objectif sera d'étudier, de valider et d'auditer la conception, les exigences et les activités de vérification des logiciels critiques, pour vous assurer qu’ils garantissent la sécurité opérationnelle du système (Safety Critical Systems).
Vous participerez aux missions suivantes :
- Analyse de sûreté & gestion des risques : réaliser les analyses de risques logicielles (AMDEC, Arbres de défaillances, HAZOP, PHA), contribuer à la rédaction et au suivi du Dossier de Justification de Sûreté (DJS) transmis aux autorités de qualification, et décliner les contraintes de sécurité système en exigences de safety logicielle ;
- Relecture & validation des exigences safety : animer et participer aux revues critiques des spécifications et architectures logicielles, s'assurer de la clarté, de la vérifiabilité et de la complétude des exigences de sécurité, et mettre en place la matrice de traçabilité (de l'analyse de risques jusqu'au composant logiciel et au test) ;
- Sécurisation de la stratégie de test & vérification : relire et valider les plans et dossiers de tests de qualification logicielle, s'assurer que les campagnes de test couvrent les modes dégradés, les erreurs d'injection et les cas limites (corner cases), et analyser le niveau de couverture structurelle du code (MC/DC, décisions/branches) pour les composants à haute criticité ;
- Garantir l'indépendance des activités de vérification pour les briques logicielles sensibles.