Sûreté de fonctionnement FPGA/PLD :
ERASM, un partenaire à l’expertise éprouvée
Dans certains domaines (défense, aéronautique…), l’utilisation de composants à logique programmable (CPLD, FPGA, ASIC…) dans la réalisation de fonctions de sécurité nécessite d’être en adéquation avec les référentiels normatifs associés au contexte d’utilisation : IEC 61508-2 pour l’industrie, EN 50129:2019 pour le ferroviaire…
Grâce à son solide savoir-faire en analyse des risques et à sa maîtrise des contraintes sectorielles, ERASM accompagne ses clients en sûreté de fonctionnement FPGA/PLD. Notre objectif est de vous assurer de la bonne utilisation des composants à logique programmable (CPLD, FPGA, ASIC, etc…) dans la réalisation de vos fonctions de sécurité.
Pour remplir efficacement notre mission dans ce domaine d’expertise complexe, nous mobilisons des experts aux compétences éprouvées en sûreté de fonctionnement PLD/FPGA dans le secteur concerné.
FPGA/PLD : ces composants programmables demandent un haut niveau d’expertise
Les FPGA sont utilisés dans de nombreuses applications plus ou moins complexes, allant d’une simple fonction d’interfaçage à du traitement vidéo, en passant par du contrôle moteur ou encore de l’accélération algorithmique.
De par sa nature, le FPGA peut offrir une grande vitesse de traitement. Là où un microcontrôleur exécute ses instructions de manière séquentielle, un FPGA peut réaliser plusieurs actions simultanément.
Les FPGA sont programmables grâce à un langage haut niveau (principalement VHDL ou Verilog), au travers d’une suite logicielle (Vivado pour Xilinx, Quartus pour Altera, etc.). Aussi, grâce à ses blocs logiques reconfigurables, le FPGA offre également une plus grande souplesse au concepteur : contrairement à un ASIC, il est possible de reprogrammer la plupart des FPGA, même in situ.
Les experts ERASM en sûreté de fonctionnement FPGA/PLD : pour sécuriser vos développements
Pour garantir la réussite de votre mission, vous pourrez compter sur l’expertise d’ERASM :
- Une longue expérience métier en SdF et en développement d’équipements critiques
- Une maîtrise des méthodologies: Analyse des Modes de Défaillance et de leurs Effets (AMDE), Analyse des Effets des Erreurs du Logiciel (AEEL), Arbres de Défaillances (AdD), relecture de code critique…
- Une bonne connaissance des principales normes de référence et des problématiques des différents secteurs: aéronautique, défense, ferroviaire…
Notre expertise métier en matière de sûreté de fonctionnement PLD/FPGA à votre service
- Réalisation AMDE (Analyse des Modes de Défaillance et de leurs Effets) ou AEEL/AdD (Analyse des Effets des Erreurs du Logiciel/Arbre de Défaillances)…
- Revue Document de conception
- Analyse sécurité de la chaîne de production du PLD
- Relecture des activités de tests et vérification du PLD
Nos interventions : focus sur l’analyse de sécurité PLD
- Assurance du respect des normes visées au travers des plans du PLD
- Assurance du suivi des exigences de sécurité (traçabilité verticale) et de l’application des plans PLD
- Relecture « sécurité » des données de spécification, d’architecture et de conception (vérification de la traçabilité verticale)
- Relecture des rapports de vérification associés aux données de développement PLD
- Réalisation d’AEEL
- Relecture de code critique (VHDL/Verilog) :
- Assurance de la correcte implémentation des exigences dans le code source
- Assurance de la correcte définition des différentes contraintes (timing, placement, niveaux logiques des E/S, etc.)
- Assurance du respect des règles de design/règles de codage
- Assurance de l’expression correcte des tests associés aux fonctions critiques :
- Relecture « sécurité » des données de tests d’intégration et de tests d’ensemble du PLD (vérification exhaustive de la traçabilité horizontale des exigences de sécurité)
- Relecture « 2d regard » des Spécifications et Rapports de tests composants
- Relecture « sécurité » des rapports de vérification associés aux données de tests
- Assurance du respect de la validation des outils et de leur utilisation correcte :
- Analyse sécurité de la chaîne de développement PLD (outils et processus)
- Assurance du respect des timings (STA)
- Assurance du respect des contraintes de placement/routage
- Assurance de la prise en compte des erratas (silicium ou outils associés)
- Classification Sécurité/Non Sécurité des paramètres
- Analyse des paramètres de Sécurité par rapport aux documents de Conception.
- Analyse des risques utilisant une Analyse des Modes de Défaillance et de leurs Effets (AMDE).
Une modélisation fonctionnelle du processus permet d’identifier les fonctionnalités, les produits en entrée et en sortie, les opérateurs, etc. Les fonctionnalités sont constituées par les étapes du processus. Elles sont décomposées en sous-fonctionnalités correspondant aux actions et aux vérifications faites dans les étapes.
L’analyse de sécurité du paramétrage établit les exigences de sécurité devant être respectées, en particulier par les outils utilisés par le processus.
Notre maîtrise des référentiels
Systèmes Industriels et de Défense
IEC 61508-2
Équipements ferroviaires
CENELEC EN 50129:2019, Annexe F
Équipements aéronautiques</strong
DO-254
