ANSYS SCADE Suite Capabilities

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

Le module de modélisation avancée de 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é. L’environnement se connecte aux outils de gestion de la configuration, à l’affichage SCADE, au système SCADE, à ANSYS Twin Builder, à National Instruments Veristand™ et aux outils au standard FMI, et comprend les capacités de conception basées sur les modèles suivantes :

  • Notation graphique intuitive et conviviale, basée sur l’imbrication illimitée des flux de données et les automates hiérarchiques
  • Diagrammes de décision graphique
  • Itérateurs de réseau d’antennes pour faciliter la multi-instanciation de l’opérateur et effectuer le traitement de données complexes
  • Complétude et déterminisme des modèles garantis
  • Langage fortement typé
  • Vérification de la cohérence statique
  • Réutilisation et lisibilité faciles pour la conception
  • Fonctions de modification efficaces, comme le schéma à connexions multiples, la navigation dans le modèle, et la recherche et l’annulation d’actions illimitée
  • Comparaison sémantique des différentes versions de modèles, de paquets, d’opérateurs ou d’automates avec des fonctionnalités d’emplacement et de rapports
  • Composants de la bibliothèque de SCADE Suite : intégrateurs, hystérèse, quantificateurs, filtres, circuits bistables, tables de vérité, tables de recherche, opérateurs matriciels, etc.
  • Importation de l’ancien code dans les conceptions
  • Lire/écrire l’accès au projet et aux fichiers modèles de SCADE Suite via le module Eclipse Modeling Framework (EMF) ou Tcl API
  • Assistant pour le développement de scripts

VIDEO: How does ANSYS SCADE Suite work?

SCADE Suite: Advanced Model-Based Design


Synchronisation avec la conception d’architecture logicielle

Integration of SCADE Architect et SCADE Suite vous offre des outils pour le processus de conception logicielle complet, de l’architecture à la conception détaillée des composants, y compris :

  • L’évolution de l’architecture et de la conception des composants logiciels en parallèle et la resynchronisation à la demande à des étapes choisies du projet
  • La synchronisation bidirectionnelle entre les modèles d’architecture et les modèles de conception
  • La gestion cohérente et efficace des E/S et des définitions et modifications des données
  • La non-duplication des interfaces de synchronisation définies au niveau de l’architecture et affinées au niveau de la conception

VIDEO: Integrated Workflow for Software-intensive Embedded Systems

SCADE Suite: Synchronization with Software Architecture Design


Optimisation du temps et de la taille de pile

Le module d’optimisation de temps et d’empilement de SCADE Suite évalue le temps d’exécution au pire des cas (WCET) ou l’utilisation des empilements de tâches dans une application. Selon les résultats de l’évaluation, vous pouvez vous concentrer facilement et de façon répétée sur les parties de l’application qui causent des temps d’exécution longs ou une utilisation insatisfaisante de la mémoire, et affiner le profilage de l’application en optimisant les modèles de SCADE Suite et/ou régler les options du générateur de code SCADE Suite KCG. Le module d’optimisation de temps et d’empilement de la suite SCADE est actionné par AbsInt aiT.

Le module d’optimisation de temps et d’empilement offre :

  • Une analyse du temps d’exécution au pire des cas (WCET) et l’utilisation par empilement d’une application de SCADE Suite indépendamment de la plateforme cible réelle
  • Un processus itératif pour se concentrer sur les parties de l’application qui causent des temps d’exécution longs ou une utilisation insatisfaisante de l’empilement, et pour affiner le profilage de l’application en optimisant les modèles de SCADE Suite
  • Une comparaison des résultats entre les sessions d’optimisation indiquées dans l’environnement de conception de SCADE Suite
  • Des rapports détaillés, automatiques et personnalisables
  • Une comparaison facile de la performance du code en affinant les options KCG

VIDEO: Introduction to the ANSYS SCADE Suite Tool

SCADE Suite: Timing and Stack Size Optimization


Simuler et déboguer

Une fois que la description a été effectuée avec les blocs graphiques et/ou textuels dans SCADE Suite, vous pouvez simuler une conception logicielle ou l’un de ses blocs. 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 vous permet de définir les conditions d’arrêt, de configurer les points d’arrêt dans un cycle d’exécution et d’examiner les variables internes et les valeurs de sortie. Vous pouvez également enregistrer et lire les scénarios. Le format ASCII des scénarios permet d’intégrer facilement la phase de simulation de SCADE Suite aux flux de travail existants. Les tâches de simulation de SCADE Suite peuvent être personnalisées et automatisées à l’aide du langage de script Tcl.

Les capacités de simulation et de débogage de SCADE Suite comprennent :

  • Des conceptions exécutables de SCADE Suite
  • Une simulation détaillée du code réel généré par SCADE Suite
  • L’enregistrement et la lecture des scénarios
  • Une détection précoce des erreurs de spécification
  • Des tests automatiques de non-régression
  • Des modes interactifs et par lot
  • Un accès aux variables et aux sondes pour le débogage dans le modèle graphique
  • Des points d’arrêt selon les critères de contrôle, de données et de temps
  • Une prise en charge des formats d’entrée de l’environnement de test SCADE
  • La co-simulation avec MathWorks® Simulink® et MATLAB®
  • Une simulation activée par les scripts Tcl pour les scénarios personnalisés complexes
  • Un mode esclave pour la connexion à votre environnement et vos outils de simulation (cosimulation)
  • Une exportation de l’unité de maquette fonctionnelle (32/64 bits) des modèles de SCADE Suite pour la connexion à ANSYS Twin Builder® et à n’importe quel outil de simulation de système au standard FMI

VIDEO: How to Use the ANSYS SCADE Suite Simulator?

SCADE Suite: Simulating and Debugging


Vérification de la conception

Le module de vérification de la conception (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. Les propriétés à définir sont définies avec SCADE lui-même. Les résultats booléens sont les objectifs de preuve pour le module DV, qui produit alors automatiquement des contre-exemples. Le module DV peut également être utilisé pour trouver les opérations de division par zéro.

SCADE Suite: Design Verification


Génération de code automatique

SCADE Suite KCG est un générateur de code C et Ada des modèles Scade qui a été qualifié comme outil de développement pour la norme logicielle DO-178B jusqu’au niveau A et DO-178C/DO-330 à TQL-1, certifié conforme à la norme CEI 61508 à SIL 3 et à la norme EN 50128 à SIL 3/4, et qualifié pour la norme logicielle ISO 26262 jusqu’à ASIL D. Ce générateur de code permet d’économiser l’effort de vérification dans la phase de code, comme les révisions de code et les tests de faible niveau sur le code généré par SCADE Suite KCG. Cette amélioration de la productivité réduit le temps et l’effort de certification et/ou de modification. SCADE Suite KCG a réussi la procédure de qualification sur plusieurs grands programmes et est maintenant utilisé dans la production pour un certain nombre de programmes en Europe, en Asie et aux Amériques.

Propriétés du code généré

  • Respecte les contraintes de code intégrées : allocation de mémoire statique, boucles statiques délimitées, non-récursivité
  • Génère un code de production C et Ada sécurisé et de grande qualité : optimisé, personnalisable, lisible et traçable
  • N’introduit aucun code inaccessible (mort)
  • Produit un code portable

SCADE KCG 6.4 qualifiable/certifiée

  • Qualifiable en tant qu’outil DO-330 TQL-1 en vertu de la norme DO-178C
  • Qualifiable en tant qu’outil de développement en vertu de DO-178B
  • Qualifié en vertu de la norme ISO 26262:2011 à ASIL D et C
  • Certifié en vertu de la norme CEI 61508:2010 à SIL 3
  • Certifié en vertu de la norme EN 50128:2011 à SIL 3/4

SCADE Suite KCG 6.5

  • Génération de code C et Ada
  • Extensions de langage et de typage (nouveaux itérateurs, opérateurs au niveau du bit, types numériques 8/16/32/64 bits (signé/non signé) et de 32/64 bits à pointes flottantes

Générateur de code SCADE Suite Ada

  • Produit un code Ada 95 standard conforme à SPARK 95.
  • S’adapte parfaitement aux flux de développement des utilisateurs Ada existants.

Intégration du code

  • Intégration automatique du code à Wind River® VxWorks® 653 et VxWorks® CERT, Green Hills® Software INTEGRITY™-178B, SYSGO PikeOS et d’autres RTOS
  • Adopteurs RTOS personnalisables pour le code généré
  • Capacité d’étalonnage du code ASAM MCD- 2 MC liée au modèle

VIDEO: How does ANSYS SCADE Suite deal with Automatic Code Generation?

SCADE Suite: Automatic Code Generation


Une assistance supérieure pour la qualification/certification

La trousse d’outils SCADE Suite offre une solution complète pour le développement des applications incorporées ayant un haut niveau d’intégrité. Le langage Scade a été spécialement conçu en coopération avec les clients et les autorités afin de répondre aux exigences des applications incorporées ayant un haut niveau d’intégrité.

Le générateur de code C et Ada SCADE Suite KCG est qualifié/certifié comme un outil DO-330 TQL-1 en vertu des normes DO-178C, ISO 26262:2011 à ASIL D et C, CEI 61508:2010 à SIL 3 et EN 50128:2011 à SIL 3/4. L’outil lui-même a été développé conformément à ces normes.

La trousse de vérification de compilateur (Compiler Verification Kit, CVK) SCADE Suite C fait partie intégrante du processus de tests combinés des technologies Esterel. CVK est une suite de tests qui contient toutes les constructions C possibles (et toutes les combinaisons de ces constructions jusqu’à un certain niveau de complexité) qui peuvent être générées par le générateur de code C SCADE Suite KCG. CVK est utilisé pour vérifier que le compilateur C cible compile correctement le code C généré par SCADE Suite. L’objectif de cette vérification est d’obtenir le niveau requis de confiance concernant l’absence d’écart entre le code source et objet qui peut être introduit par le compilateur/système de liaison, conformément à la procédure décrite dans la norme DO-178C. CVK prend en charge la vérification précoce de l’exactitude et de la cohérence de la chaîne d’outils de développement et de la plateforme cible. Il démontre que le code C généré par SCADE Suite KCG est correctement compilé par le compilateur cible C et que le code résultat est correctement exécuté sur une plateforme cible donnée. CVK prend également en charge les scripts d’exécution de l’automatisation personnalisable.

Les plans de certification DO-178B et C pour les applications SCADE contiennent des plans de certification génériques pour les applications intégrées avec les objectifs DO-178B ou DO-178C. Ces plans peuvent être personnalisés selon l’environnement de projet spécifique et peuvent ensuite être vérifiés par les organismes de sécurité (FAA, EASA, etc.). Les experts ANSYS peuvent aider à effectuer la personnalisation.

SCADE Suite: Best-in-class Qualification/Certification Support


Capacités de simulation des systèmes

Le module de modélisation avancé SCADE Suite comprend ANSYS Twin Builder Entry. Twin Builder est une puissante plateforme de modélisation, de simulation et d’analyse de prototypes de systèmes virtuels. Il permet aux équipes de développement de vérifier et d’optimiser les performances de leurs modèles de systèmes contrôlés par des logiciels et multidomaines. Twin Builder fournit également :

  • Des capacités de modélisation flexibles et des intégrations étroites avec les solutions ANSYS pour la simulation multiphysique 3-D et avec les produits ANSYS SCADE pour la conception de logiciels intégrés
  • Une assistance étendue pour l’assemblage des modèles physiques au niveau du système et une aide apportée aux entreprises de développement de produits en matière de modèles conceptuels, d’analyse détaillée et de vérification des systèmes

VIDEO: DC Motor Control Model Design in ANSYS SCADE Suite and ANSYS Twin Builder

SCADE Suite: Systems Simulation Capabilities


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

Synchronisation avec la conception des systèmes

SCADE Suite vous permet d’affiner les composants du logiciel selon la modélisation de système structurel dans l’environnement SCADE System. Cela assure:

  • Une synchronisation bidirectionnelle entre les modèles de systèmes et les modèles de logiciels
  • Une gestion cohérente et efficace des E/S et des définitions et modifications des données
  • La non-duplication des efforts dans les interfaces de synchronisation définies au niveau du système et affinées au niveau du logiciel

Réalisation de prototypes rapides

La connexion de SCADE Suite avec le module de prototypage rapide SCADE Test vous aide à :

  • Concevoir et construire des panneaux graphiques interactifs pour les séances de simulation de SCADE Suite
  • Accéder à la bibliothèque de gadgets prédéfinis et personnalisables (commandes et indicateurs)
  • Générer automatiquement les applications exécutables pour les plateformes Windows, Apple iOS ou Android
  • Générer les unités de maquette fonctionnelle (Functional Mock-up Units, FMU) 32/64 bits pour la connexion à ANSYS Twin Builder et aux outils de simulation de systèmes au standard FMI

Développement d’interfaces homme-machine intégrées (HMI)

SCADE Suite vous permet de concevoir et de contrôler la logique associée aux HMI conçues dans SCADE Display. Les fonctionnalités comprennent :

  • La co-conception : intégration étroite au niveau de la conception des composants logiques et graphiques critiques dans les applications intégrées
  • La co-simulation : réalisation de prototypes et validation précoces en mode boîte blanche et boîte noire entre la logique d’application de l’affichage et les composants graphiques
  • Co-rapports : intégration de la génération de rapports entre les modèles SCADE Suite et les spécifications graphiques de SCADE Display
  • Co-génération : déploiement intégré de SCADE Suite et du code généré par SCADE Display

Gestion du cycle de vie des applications

L’intégration de SCADE Suite à SCADE LifeCycle offre les capacités suivantes :

  • Suivi de projet avec SCADE LifeCycle Dashboard pour calculer les mesures indiquées sur les tableaux de bord prédéfinis et personnalisables
  • Gestion et traçabilité des exigences avec la passerelle de gestion des exigences SCADE LifeCycle
  • Génération de documentation automatique avec SCADE LifeCycle Reporter
  • Intégration avec SCADE LifeCycle Reporter et la passerelle de gestion des exigences SCADE LifeCycle, partagée avec SCADE Display et SCADE System

VIDEO: Integrated Workflow for Software-intensive Embedded Systems

SCADE Suite: SCADE Tools Integration