Simulation is more than Software

Version d’essai
0
Liste de souhaits
0 0
Panier

Contact direct
FR
Systèmes embarqués pour les applications relevant de 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 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.

Jusqu’à 85 %
moins d’essais et de vérifications
grâce à
  • 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%
en moins de coûts de développement
grâce
  • Aux cycles de conception courts et directs
  • A une approche cohérente du cahier des charges à la documentation
  • À l'implémentation 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 pour le processus d’homologation
grâce
  • À 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.

Ansys SCADE établit des normes pour la générer automatiquement du 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) 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.

Formations connexes

Valeur ajoutée amenée par les produits Ansys SCADE

Vous trouverez ici nos produits pour la création, la vérification et la génération automatique des logicielles et systèmes critiques fiables et robustes