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)
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.