Conformité à IEC 61508 avec la suite d’outils LDRA®
| IEC 61508 Overview | IEC 61508 Compliance | Traceability | Highlights |
En réponse à l’utilisation de plus en plus répandue des systèmes électroniques au sein de l’industrie de l’automatisation et en particulier en reconnaissance de leur application aux fonctions essentielles à la sécurité, la norme IEC 61508 a été créée afin de se conformer aux besoins spécifiques du secteur d’application des systèmes électriques/électroniques/électroniques programmables (E/E/EP) pour les automatisations automatiques.
La norme fournit des directives détaillées spécifiques à l’industrie pour la production de tout logiciel pour les systèmes électriques et électroniques, qu’ils soient essentiels à la sécurité ou non. Elle fournit différents niveaux de sécurité intégrée (SIL) pour l’évaluation des risques liés aux systèmes E/E/PE.
Il y a quatre niveaux de SIL (SIL 1 à 4 dans l’IEC 61508) pour spécifier les mesures de sécurité nécessaires et éviter un risque résiduel intolérable : SIL-4 représente le niveau le plus exigeant.
Conçue pour donner une pleine confiance dans la sécurité des systèmes électriques / électroniques / électroniques programmables (E/E/PE), l’IEC 61508 (Partie 3) traite de la durée de vie complète du logiciel de sécurité, y compris les phases telles que la planification, le développement et les processus intégraux pour veiller à l’exactitude, le contrôle et la confiance dans le logiciel. Ces processus intégraux incluent la traçabilité des exigences, la conception de logiciel et la validation et la vérification du codage et du logiciel.
L’IEC 61508:2010 (partie 3) s’applique à n’importe quel logiciel faisant partie d’un système lié à la sécurité ou est utilisée pour développer les systèmes liés à la sécurité. Elle fournit des exigences spécifiques applicables pour prendre en charge des outils tels que les outils de développement et de conception, les traducteurs de langue, les outils de test et de débogage et les outils de gestion de la configuration. La traçabilité complète des exigences en aval et en amont à chaque étape du développement et des tests a été ajoutée à la nouvelle publication de la norme IEC 61508:2010 (partie 3). Pour les niveaux SIL plus exigeants, la dernière version inclut également de nouvelles références à l’accomplissement des niveaux les plus élevés de couverture structurelle (instruction, branche/décision et LCSAJ (Séquence de code linéaire et sauts)) et MC/DC (Couverture Condition/Décision Modifiée).
Les outils d'analyse de logiciel et de traçabilité des exigences sont essentiels pour les projets à budget serré. La suite d’outils LDRA® fournit les fonctions les plus complètes en matière de traçabilité des exigences, analyse du code source, couverture structurelle et test d’unité pour aider les organisations à satisfaire aux exigences de l’IEC 61508 (partie 3) Édition 1 et l’IEC 61508:2010 relativement aux activités de développement et de vérification de logiciel. Alors que l’application de l’IEC 61508 devient de plus en plus répandue, il est essentiel que le choix des outils soit basé sur l’expertise connue.
Pour d’autres informations sur la conformité à IEC 61508 et la disponibilité, veuillez remplir le formulaire de réponse LDRA ou envoyez un e-mail à info@ldra.com.
La norme générique IEC 61508 a été conçue pour être utilisée comme fondement des normes industrielles spécifiques. On peut citer par exemple, des adaptations comme la norme CENELEC prEN 50128 dans l’industrie ferroviaire, IEC 62304 dans l’industrie médicale et la norme IEC 61511 dans la production par processus.
Elle a également beaucoup de choses en commun avec la norme DO-178B utilisée dans les applications aérospatiales, en particulier relativement à l’exigence MC/DC (Couverture Condition/Décision Modifiée) et au processus d’analyse de couverture structurelle.
La suite d’outils LDRA a fait ses preuves en matière de garantie de la conformité avec ces normes ; par conséquent, elle représente le choix logique de travail conformément à l’IEC61508.
Utiliser des outils de traçabilité et d’analyse pour un projet devant répondre à la norme IEC 61508 apporte des avantages importants en matière de productivité et de coûts. Les outils facilitent la vérification de la conformité, réduisent la possibilité d'erreurs et augmentent la rentabilité. En outre, la création, gestion, maintenance et documentation de la traçabilité des exigences sont simplifiées et plus économiques. Vous devez prendre en compte les critères suivants lors de la sélection d’un outil de test visant à accomplir la conformité à IEC 61508 :
La suite d’outils LDRA satisfait tous ces critères.
Pour d’autres informations sur la conformité à IEC 61508 et la disponibilité, veuillez remplir le formulaire de réponse LDRA ou envoyez un e-mail à info@ldra.com.
Le terme « traçabilité » (ou traçabilité des exigences) fait référence à la capacité d'associer les exigences du système aux exigences de sécurité du logiciel, puis des exigences de sécurité du logiciel au code source et aux tests élémentaires associés. Il est fortement souhaité de disposer de traçabilité pour veiller la vérifiabilité jugée nécessaire par la norme, qui exige également une traçabilité bidirectionnelle. Répondre à cette exigence serait très difficile sans l’utilisation d’un outil de traçabilité automatisé.
L’IEC 61508 (partie 3) préconise une pratique clé qui consiste à attribuer des exigences de sécurité technique dans la conception du système et de pousser davantage cette conception pour dériver un plan de test et d’intégration d’élément, puis ultérieurement les tests mêmes. Ceci inclut implicitement les éléments de logiciel du système, avec la sous-division explicite des pratiques de développement de matériel et de logiciel traitées ultérieurement dans le modèle en « V ».
C’est là que TBreq est d’une grande utilité grâce à ses fonctions de traçabilité des exigences. Cette fonction facilite non seulement l’archivage des résultats de n’importe quelle revue de projet (par exemple), mais elle met aussi en évidence les actions qui nécessitent d'être revues en cas de modification des exigences.
Pour d’autres informations sur la conformité à IEC 61508 et la disponibilité, veuillez remplir le formulaire de réponse LDRA ou envoyez un e-mail à info@ldra.com.
Conception, implémentation et test de logiciel
L’IEC 61508 (partie 3) détaille le processus d’élaboration de logiciel du produit tout au long du travail de conception et de codage. Elle aborde spécifiquement:
Il apparaîtra clairement alors que nous développerons ces thèmes dans cette partie de la norme, que quel que soit le niveau ASIL en question, la suite d’outils LDRA est en mesure de vous aider à n'importe quelle étape du processus.
Conception architecturale de logiciel
Par exemple, la norme demande la « vérification de la conception architecturale ». Les artéfacts graphiques générés par la suite d’outils LDRA conviennent parfaitement à l’examen de la conception implémentée par rapport aux artéfacts de conception par le biais de revues de projet ou d'inspections.
Implémentation et conception d’unité de logiciel
LDRA Testbed et TBvision possèdent tous deux des capacités de vérification des normes complètes, y compris la conformité avec les normes industrielles de pointe MISRA-C:1998, MISRA-C:2004 ou MISRA C++:2008, CERT C ou Netrino C, par exemple.
Lors de la conception et de l’implémentation de l’unité de logiciel, l’IEC 61508 (partie 3) demande que les normes de codage veillent à la bonne utilisation de principes de conception sains pour l’implémentation de l’unité de logiciel.
Test d’unité de logiciel
La norme exige que « le test de l’unité de logiciel doit être planifié, spécifié et exécuté… » TBrun fournit une interface graphique relative à la spécification des tests d’unité, pour créer des tests conformément à la spécification définie et pour présenter une liste de tous les test préliminaires définis avec le statut de réussite/échec pertinent.
La création automatique du logiciel de test, des fonctions de souches et même des vecteurs de test (si souhaité) signifie que l’exécution du test de l’unité devient un processus rapide et facile, nécessitant un minimum de connaissances spécialisées.
Intégration et essai de logiciel
LDRA Testbed et TBrun ont la capacité de fournir une analyse de couverture structurelle, au niveau des tests du système et au niveau des tests de l'unité. Il est également possible de combiner les données de couverture dérivées de ces approches pour travailler de la manière la plus efficace et répondre aux besoins spécifiques d’un projet de développement.
Répondre à tous les niveaux ASIL avec la suite d'outils LDRA
La suite d’outils LDRA est largement utilisée pour les tests de précision des systèmes intégrés, dans le développement du logiciel pour répondre à DO-178B et à d’autres normes basées sur IEC 61508, telles que CENELEC prEN 50128. Ceci illustre que la suite d’outils LDRA est bien équipée pour prendre en charge les applications de niveau SIL 4 les plus exigeantes.
L’intégration continue avec le matériel ciblé veille à ce que les tests de précision sont aussi efficients et efficaces que possible, avec de nombreux mécanismes disponibles pour optimiser l’extraction des données d’essais du système cible
L’intégration avec les systèmes d’exploitation basés sur Eclipse va encore plus loin, tandis que l’intégration en amont avec les outils UML, tels que l’IBM Rational Rhapsody procure un environnement de test intégré, par le biais du processus d'élaboration de logiciel.
Pour d’autres informations sur la conformité à IEC 61508 (Partie 3) et la disponibilité, veuillez remplir le formulaire de réponse LDRA ou envoyez un e-mail à info@ldra.com.
| Email: | info@ldra.com |
| Tel EMEA: | + 44 (0) 151 649 9300 |
| Tel USA: | (650) 583 8880 |
| Tel India: | +91 80 4080 8707 |