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 fiables et sécurisants
Avec les produits et services CADFEM/Ansys, répondez aux exigences d’homologation en matière de sécurité des systèmes embarqués en réduisant de 85 % votre travail. Les étapes de certification automatisées sont parfaitement conformes aux normes.
Introduction générale au développement des systèmes embarqués
Les applications logicielles critiques pour la sécurité (logiciels embarqués) sont soumises à des règles strictes de certification et d’approbation. Il doit être démontré que les erreurs systématiques sont exclues, ce qui augmente par conséquent les efforts de traitement, de développement et de vérification.
- 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 répondant aux exigences les plus élevées
CADFEM fournit avec Ansys des solutions complètes pour la création graphique, la vérification et la génération automatique de logicielles systèmes embarqués critiques fiables, répondant à des exigences élevées en matière de sécurité de fonctionnement, de robustesse et de fiabilité. Les exigences en la matière sont conformes aux normes de 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 démontre que certaines propriétés du code généré sont garanties, 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) combinée à 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 en amont 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 aux processus spécifiques industriels 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.
Des applications de simulation variees
Nos solutions de simulation couvrent un large spectre de la physique.
Pour chacun des domaines de physique, les applications sont multiples, des plus simples aux plus complexes. Grâce à son expertise technique, CADFEM vous permet de traiter la quasi-totalité d'entre elles, en mettant à votre service un large panel de logiciels.
