Ansys SCADE Suite
Développement de logiciels embarqués critiques pour la sécurité
Environnement de développement basé sur un modèle pour les logiciels embarqués critiques pour la mission et la sécurité
Ansys SCADE Suite est l'environnement de développement basé sur des modèles pour les applications critiques de mission et de sécurité. La mise en œuvre basée sur les exigences des fonctions de contrôle et de régulation s'effectue à l'aide d'éléments du langage défini Scade. Le générateur de code automatique qualifiable / certifié KCG génère, à partir du modèle SCADE, un code C ou ADA portable et compatible avec MISRA, qui peut être intégré sur presque n'importe quelle cible. Grâce à des interfaces ouvertes et à une API étendue, SCADE peut être intégré dans n'importe quel environnement de développement. L'utilisation d'Ansys SCADE permet de réduire le temps et les coûts de développement, surtout dans le domaine de la vérification ainsi que la certification et l'homologation.
