Pour les exigences les plus élevées en matière de développement, de vérification et d’homologation d’applications et de systèmes critiques pour la sécurité
Développement de logiciels critiques pour la sécurité et la mission
Avec les produits et services CADFEM/ANSYS, vous pouvez répondre aux exigences d’approbation en matière de sécurité pour les systèmes embarqués avec jusqu’à 85 % moins de travail. Les étapes de certification automatisées sont parfaitement conformes aux normes.
Introduction générale au thème : développement des systèmes embarqués
Les applications logicielles critiques pour la sécurité ou la mission (logiciels embarqués) sont soumises à des règles strictes de certification et d’approbation. Les erreurs systématiques doivent être exclues démontrablement, ce qui augmente les efforts de traitement, de développement et de vérification en conséquence.
- Aux processus d’essai et de vérification effectués de manière cohérente au niveau du modèle
- À l’identification fiable des défauts dès la phase de prototypage et de conception
- À l’évitement initial de nombreuses classes d’erreurs par l’approche formelle et la génération automatique de code (par un outil DO-330 TQL-1)
- À la réduction de l’analyse statique du code, des Code Reviews et des tests de modules
- Aux tests d’intégration fortement automatisables
- À un développement plus rapide, aux activités simplifiées autour de la vérification et de la validation et aux flux de travail efficaces qui en résultent
- Aux modèles, exigences, codes et documentation identiques, sans ambiguïté et complets
- À des stratégies éprouvées, aux kits de certification et aux documents de planification (plan de développement, plan de test, etc.)
Des solutions complètes pour les exigences les plus élevées
ANSYS et CADFEM fournissent des solutions complètes pour la création graphique, la vérification et la génération automatique d’applications logicielles et systèmes critiques pour la sécurité avec des exigences élevées en matière de sécurité de fonctionnement, de robustesse et de fiabilité. Les exigences en la matière sont définies dans des normes par diverses autorités de sécurité :
- DO-178C jusqu’au niveau A –Aérospatiale et défense
- IEC 61508 jusqu’à SIL 3 –Sécurité fonctionnelle industrielle / générique
- EN 50128 jusqu’à SIL 3/4 – Transport ferroviaire
- Conformité CEI 60880 –Énergie nucléaire
- ISO 26262 jusqu’à ASIL D – (Automobile)
Les modèles de spécification et de conception aident à définir et à structurer les exigences, les projets, les analyses, les activités de vérification et de validation durant le cycle de développement. Les différentes normes indiquent les moyens d’assurer les différentes étapes de développement et de vérification ou de démontrer que les objectifs de sécurité ont été atteints.
La qualification d’un outil est nécessaire si l’on veut éliminer, réduire ou automatiser les processus requis par les normes sans qu’il soit nécessaire de vérifier les résultats. Si, par exemple, une application est convertie en code C dans la phase de codage, il est nécessaire de démontrer certaines propriétés du code :
- Fonctionnement correct par rapport aux exigences
- Exhaustivité
- Cohérence
- Aucune construction dangereuse (par ex. opérations de pointeur ou d’enregistrement)
- Pas de code mort
Cela mène à un effort considérable de vérification :
- Tests de module bas niveau
- Analyse du code statique
- Revues de code indépendantes avec check-lists appropriées
- Mesure de la couverture de test sur le code
Avec un générateur de code qualifiable qui garantit démontrablement certaines propriétés du code généré, certaines activités autrefois nécessaires peuvent être omises, portées au niveau du modèle et donc considérablement simplifiées.
La continuité de la modélisation (analyse de sécurité, architecture, conception logicielle et IHM) en combinaison avec un générateur de code qualifiable ou certifié permet d’effectuer de nombreuses vérifications nécessaires sur le modèle.
La vérification précoce dans le processus réduit au minimum les modifications et les corrections ultérieurs :
- Analyse statique de la cohérence et de l’exhaustivité
- Simulation dynamique, également en interaction avec des modèles physiques de l’environnement
- Analyse de la couverture de code sur la base d’un modèle
- Processus de test sur la base d’un modèle
- Analyse statique de la consommation de la pile et WCET (limite supérieure de sécurité pour le temps d’exécution sur la plate-forme cible)
ANSYS SCADE a été développé conformément aux normes et processus spécifiques de l’industrie et a joué un rôle décisif dans leur élaboration. La combinaison de nombreuses années d’expérience en matière d’homologation, d’outils éprouvés et d’un processus de développement interne rigoureux garantit une certification réussie.
plus d'applications de simulation
Nos solutions de simulation couvrent un large spectre de la physique.
Pour les domaines les plus importants de la physique, il existe également des applications spécifiques qui vont beaucoup plus en profondeur.
Le CADFEM couvre la quasi-totalité d'entre elles. Avec des logiciels et une expertise technique.