Ansys Scade Suite

Développement de logiciels embarqués pour applications critiques avec Ansys SCADE Suite™

Ansys SCADE Suite™ est une solution puissante et complète pour le développement de logiciels embarqués critiques, offrant une modélisation graphique intuitive, une génération de code certifiable, ainsi que des outils de simulation et de validation. Conçu pour des industries où la sécurité et la fiabilité sont primordiales, SCADE Suite répond aux normes de sûreté les plus strictes tout en accélérant le processus de développement et de certification.

Pourquoi choisir Ansys SCADE Suite pour vos systèmes embarqués critiques ?

Ansys SCADE Suite est particulièrement adapté aux secteurs exigeant des logiciels embarqués sûrs et fiables, tels que l’aéronautique, l’automobile, le ferroviaire et l’énergie. Il simplifie le développement grâce à des modèles graphiques, automatisation du code et certification rapide, en garantissant que le logiciel embarqué est conforme aux exigences strictes des normes de sécurité.

Fonctionnalités principales d'Ansys SCADE Suite :

Modélisation graphique :

Ansys SCADE Suite permet de développer des systèmes embarqués à l'aide de modèles graphiques visuels, basés sur des diagrammes de flux de données (Data Flow Diagrams) et des automates à états finis (State Machines). Ces modèles facilitent la compréhension des systèmes complexes et réduisent les erreurs humaines liées à la programmation manuelle. Ils permettent également une meilleure collaboration entre équipes en offrant une représentation visuelle claire du comportement logiciel.

Génération de code automatique certifiable :

L'une des principales forces de SCADE Suite réside dans sa capacité à générer automatiquement du code C certifiable à partir des modèles graphiques. Ce code est optimisé, fiable, et peut être certifié conformément à des normes de sûreté comme DO-178C (aéronautique), ISO 26262 (automobile) et EN 50128 (ferroviaire). L’automatisation réduit les erreurs, accélère le développement et garantit un code conforme aux standards critiques.

Simulation et validation avancées :

Ansys SCADE Suite offre des outils pour simuler les modèles logiciels avant même la génération de code, permettant ainsi de vérifier le comportement dans différents scénarios. Cette simulation précoce permet de détecter les erreurs et de valider les choix de conception, évitant des ajustements coûteux lors des étapes ultérieures.

Certification conforme aux normes de sûreté :

Conçu pour les projets critiques, Ansys SCADE Suite est certifiable selon des normes de sécurité telles que DO-178C DAL A, la plus élevée pour l'aéronautique. Le code généré est certifiable, ce qui réduit le temps et les coûts de certification, un atout pour les développeurs travaillant sur des systèmes nécessitant des certifications strictes.

Vérification formelle et tests :

En plus de la simulation, SCADE Suite offre des outils de vérification formelle qui prouvent mathématiquement que le modèle respecte des propriétés de sûreté prédéfinies. Cela améliore la confiance dans la fiabilité des systèmes critiques. De plus, SCADE inclut des outils pour tester le comportement du code généré dans des conditions réelles, assurant une qualité maximale.

Environnement intégré :

Ansys SCADE Suite s’intègre parfaitement avec d’autres outils Ansys, ainsi qu’avec des outils tiers comme Simulink®, facilitant l'ingénierie collaborative. Cette compatibilité prend en charge la méthodologie MBSE (Model-Based Systems Engineering), permettant une gestion plus efficace des projets complexes dès les premières étapes de conception.

Licences disponibles pour Ansys SCADE Suite :

  • Ansys SCADE Suite Advanced Modeler Seat: Fournit des fonctionnalités avancées pour la modélisation graphique de systèmes embarqués, permettant aux développeurs de créer des modèles complexes. 
  • Ansys SCADE Suite Design Verifier: Utilisé pour la vérification formelle des modèles SCADE, pour s'assurer que le design respecte certaines propriétés de sûreté avant la génération de code. 
  • Ansys SCADE Suite Gateway for Simulink®: Permet l'intégration avec Simulink, offrant le module d'import/export de modèles entre SCADE et Simulink pour faciliter l'ingénierie collaborative.. 
  • Ansys SCADE Suite KCG Code Generator - C and ADA: Un générateur de code qui transforme les modèles SCADE en code source C ou Ada pour les systèmes embarqués. 
  • Ansys SCADE Suite KCG Compiler Verification Kit: Fournit les outils nécessaires pour vérifier que le compilateur utilisé pour compiler le code généré par SCADE KCG ne présente pas d'anomalies et est fiable. 
  • Ansys SCADE Suite KCG Certification Kit - High Level Criticality: Contient la documentation et les preuves nécessaires pour certifier des systèmes à haute criticité (typiquement DAL-A et DAL-B) générés avec le KCG. 
  • Ansys SCADE Suite KCG Certification Kit - Low Level Criticality: Similaire au kit pour les systèmes à haute criticité mais adapté pour les systèmes de moindre criticité (DAL-C et DAL-D). 
  • Ansys SCADE Suite Timing and Stack Optimizer: Un outil pour l'analyse et l'optimisation de l'utilisation du temps d'exécution (timing) et de la pile mémoire (stack) pour le code généré à partir des modèles SCADE. 

Que vous développiez des logiciels embarqués pour l'aéronautique, l'automobile ou d'autres industries critiques, Ansys SCADE Suite vous offre des outils puissants pour modéliser, simuler et générer du code certifiable tout en répondant aux normes de sûreté les plus strictes. Pour en savoir plus sur les licences adaptées à vos besoins, contactez-nous dès aujourd'hui.

Brochure bientôt disponible