Simulation is more than Software

Contact direct
0
Liste de souhaits
0
Panier
FR
Systèmes embarqués pour les applications pertinents pour la sécurité

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.

Jusqu’à 85 %

moins de travail d’essai et de vérification

à côté de
  • 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
50%

moins de coûts de développement

à côté de
  • Aux cycles de conception courts et directs
  • Au travail continu des exigences jusqu’à l’application documentée
  • À l’intégration dans les stratégies d’intégration continue
  • À une assistance et une documentation complètes (stratégie d’approbation, qualification de l'outil, conception, tests)
50%

de temps gagné lors du processus d’approbation

à côté de
  • À 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.

ANSYS SCADE établit des normes pour la génération automatisée de code. Tous les composants critiques pour la sécurité sont parfaitement adaptés les uns aux autres. Ceci élimine pratiquement la phase de codage et le code peut être intégré directement dans la plate-forme cible.

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.

Séminaires et webinaires connexes

Valeur ajoutée grâce aux produits ANSYS SCADE

Vous trouverez ici nos produits pour la création, la vérification et la génération automatique d’applications logicielles et systèmes critiques pour la sécurité

Vous êtes intéressé par les produits de ANSYS pour le développement de systèmes embarqués ?

Nos experts en logiciels se feront un plaisir de vous aider avec leurs connaissances technologiques et leurs conseils.