Validation du logiciel de sécurité
Vérification fonctionnelle et normative des fonctions de sécurité sur PLC et systèmes programmables
La validation du logiciel de sécurité transforme les spécifications en preuves documentées
Dans les systèmes d’automatisation industrielle, le développement du logiciel de sécurité ne suffit pas à garantir que les fonctions safety fonctionnent correctement dans les conditions réelles d’utilisation. Des erreurs d’implémentation, des incohérences entre les exigences et les logiques programmées ou l’absence de traçabilité peuvent compromettre la conformité normative et la fiabilité globale du système. La validation du logiciel de sécurité permet de vérifier de manière structurée que les fonctions de sécurité ont été conçues, implémentées et testées conformément aux normes applicables.
Dans quelles situations est-elle nécessaire
L'activité est indiquée lorsque :
- Des fonctions de sécurité gérées par des PLC ou des relais safety sont présentes ;
- Le respect des normes EN ISO 13849, EN IEC 62061 ou IEC 61508 est requis ;
- Il faut vérifier la cohérence entre l'évaluation des risques, les spécifications et le logiciel implémenté ;
- Il est nécessaire de disposer de preuves objectives à des fins de conformité, d'audit ou de marquage CE.
Comment l'activité est réalisée
La validation est effectuée selon une approche méthodologique structurée basée sur le V-model, et comprend les phases suivantes :
- Analyse des exigences de sécurité : révision des exigences fonctionnelles des fonctions de sécurité, identification des niveaux requis (PLr ou SIL) et vérification de la traçabilité entre l'évaluation des risques, les spécifications et l'implémentation logicielle.
- Vérification préliminaire du logiciel : analyse des logiques programmées (Ladder, FBD, ST), vérification de la correcte paramétrisation du matériel de sécurité, contrôle de l'utilisation de bibliothèques certifiées et de la correcte implémentation des fonctions de sécurité prévues.
- Contrôle du cycle de vie du logiciel : vérification de la gestion des versions, de la traçabilité des modifications et de l'alignement du cycle de vie du logiciel sur les pratiques et exigences des normes de référence.
- Tests, simulations et essais fonctionnels : exécution d'essais fonctionnels en site, vérification de l'installation des dispositifs de sécurité, test des logiques d'interverrouillage, vérification des temps d'arrêt et essais de robustesse, incluant la gestion correcte des défauts et des redémarrages.
Ce que nous livrons
- Rapport de vérification préliminaire indiquant les éventuelles modifications nécessaires avant les tests en site ;
- Rapport de validation complet, comprenant des listes de contrôle normatives et des procès-verbaux de test ;
- Preuve documentée des éventuelles non-conformités et recommandations pour leur résolution.
