Share:
ANSYS SCADE Suite

ANSYS SCADE Suite

Systèmes de contrôles critiques pour les missions et la sécurité exécutés sur le logiciel créé sur SCADE

SCADE Suite est une gamme de produits de la famille de logiciels intégrés d’ANSYS qui vous fournit un environnement de développement basé sur les modèles pour le logiciel intégré critique. Avec l’intégration native du langage Scade défini formellement, SCADE Suite est l’environnement de conception intégré pour les applications critiques, y compris la gestion des exigences, la conception basée sur les modèles, la simulation, la vérification, la génération de code qualifiable/certifié et l’interopérabilité avec les autres outils et plateformes de développement.

Où utiliser SCADE Suite ?
SCADE Suite est utilisée pour concevoir les logiciels critiques, comme les systèmes de contrôle de vol et de moteur, les systèmes de train d’atterrissage, les pilotes automatiques, les systèmes de gestion de l’alimentation et du carburant, les affichages dans le cockpit, les systèmes d’interverrouillage des rails et le signalement, le fonctionnement du train automatique, le contrôle de train basé sur ordinateur, les systèmes de freinage d’urgence, la protection contre la vitesse excessive, la détection d’absence de train, les contrôles des centrales nucléaires, ADAS dans les voitures, ainsi que de nombreuses autres applications aéronautiques, ferroviaires, énergétiques, automobiles ou industrielles.

Conçue pour les applications critiques
SCADE Suite réduit drastiquement les coûts de certification de projet en simplifiant la conception des applications de contrôle critique et la vérification de l’automatisation, la génération de code qualifiable/codé et la génération de documentation. Le générateur de code KCG de SCADE Suite est qualifiable comme outil de développement conformément à la norme DO-178B niveau A ou comme outil DO-330 TQL-1 conformément à la norme DO-178C. Il est qualifié conformément à la norme ISO 26262:2011 à ASIL D et C, et certifié conforme à la norme CEI 61508 2010 à T3/SIL 3 et à la norme EN 50128:2011 à T3/SIL 3/4.

Les kits de certification KCG de SCADE Suite offrent les documents suivants requis par les directives des normes respectives pour les organismes de certification :

  • Plan de qualification des outils (Tool Qualification Plan, TQP)
  • Exigences opérationnelles des outils (Tool Operational Requirements, TOR)
  • Synthèse des réalisations des outils (Tool Accomplishment Summary, TAS) ou Dossier de sûreté (Safety Case, SC)
  • Analyse de conformité aux normes de certification
  • Procédure d’installation logicielle (Software Installation Procedure, SIP)
  • Indice de configuration des outils (Tool Configuration Index, TCI)
  • ainsi que d’autres documents spécifiques aux normes

Les programmes de certification DO-178B et DO-178C des applications de SCADE Suite offrent un ensemble de programmes génériques pour soutenir la certification des applications développées avec SCADE Suite aux niveaux A et B.

Capabilities

Une conception avancée basée sur les modèles

SCADE Suite offre un flux de données logicielles et des capacités de conception et de simulation des automates dans un environnement entièrement intégré, connecté aux outils de gestion de la configuration, de simulation des systèmes et de tests en temps réel.

Advanced Model-Based Design
Synchronisation avec la conception d’architecture logicielle

L’intégration du système SCADE et de SCADE Suite vous donne tous les outils dont vous avez besoin pour le processus complet de conception logicielle, de l’architecture à la conception détaillée des composants.

Synchronization with Software Architecture Design
Optimisation du temps et de la taille de pile

Le module d’optimisation du temps et de la pile de SCADE Suite évalue le temps d’exécution au pire des cas (Worst Case Execution Time, WCET) ou l’utilisation des empilements de tâches dans une application.

Timing and Stack Size Optimization
Simuler et déboguer

Les capacités de simulation de SCADE Suite sont basées sur le code généré réel, ce qui vous offre un environnement de débogage visuel puissant qui permet aux points d’arrêt d’examiner les variables internes et les valeurs de sortie.

Simulating and Debugging
Génération de code automatique

SCADE Suite KCG est un générateur de code C et Ada des modèles Scade. Elle a été qualifiée comme un outil de développement par une multitude d’organismes de certification du secteur.

Automatic Code Generation
Une assistance supérieure pour la qualification/certification

SCADE Suite vous offre un environnement complet d’applications intégrées ayant un niveau d’intégrité élevé avec un générateur de code qualifiable/certifié, une suite de vérification du compilateur cible et des programmes de développement générique.

Best-in-class Qualification/Certification Support
Capacités de simulation des systèmes

Les capacités de simulations des systèmes avec ANSYS Twin Builder vous aident à construire des prototypes de systèmes virtuels complets de votre produit en connectant le matériel et le logiciel dans un seul environnement.

Systems Simulation Capabilities
Vérification de la conception

Le module de vérification de la conception (Design Verifier, DV) de SCADE Suite est un assistant de vérification qui exprime et évalue formellement les exigences de sécurité, offrant un moyen productif pour trouver les bugs rapidement dans le processus de développement.

Design Verification
Intégration des outils SCADE

SCADE Suite s’intègre facilement aux outils pour la conception d’architecture logicielle, le développement HMI et la gestion des tests et du cycle de vie des applications, ce qui vous offre un environnement complet pour toutes les activités de développement logiciel intégré.

SCADE Tools Integration

See how our customers are using our software:

Crane Aerospace & Electronics

Crane Aerospace & Electronics

Crane a évalué plusieurs ateliers de développement basés sur les modèles avant de choisir ANSYS SCADE Suite. La société a fait le choix de SCADE car c’est un outil de développement logiciel spécialisé, qualifié pour répondre aux standards de la DO-178B jusqu'au niveau A, le plus haut niveau de sécurité pour l'industrie aérospatiale.

View Case Study
Subaru

Subaru

Comme il faut jongler en permanence entre les coûts et les exigences de conception, l'industrie automobile utilise les standards et la méthodologie de conception AUTOSAR basée sur les modèles (MBD). Le MBD impose aux ingénieurs de conception d’utiliser un environnement de conception commun qui prenne en charge l'intégration du modèle et les tests virtuels en temps réel de l'ensemble du système.

AUTOSAR est issu d’un partenariat de développement entre plusieurs sociétés des secteurs de l’électronique, des semi-conducteurs et du logiciel, qui proposent des standards pour gérer la complexité croissante de l'électronique dans cette industrie.


View Case Study
Meggitt

Utilisation de Simplorer par Meggitt pour la cosimulation matérielle/logicielle

Meggitt a dû reconcevoir le contrôleur, y compris le logiciel, dans un laps de temps très court. À l’aide de l’approche de cosimulation SCADE-Simplorer, la société a pu assurer la sécurité des vols en 7 mois et certifier le produit entier en seulement un an environ.

Voir l’étude de cas