ANSYS SCADE
Contact direct
Contact Vente T +216 73 820 230 info@cadfem-an.com
Support Technique T +216 73 820 230 support@cadfem-an.com
Conseil Formation T +216 73 820 230 consulting@cadfem-an.com
Contact direct
ANSYS SCADE: Systèmes embarqués et développement de logiciels
Les logiciels embarqués sont de plus en plus utilisés dans les appareils intelligents, mais un code imparfait peut être à l'origine de nombreux produits défaillants. Les leaders du secteur estiment que 1 000 lignes de code de logiciel embarqué contiennent en moyenne huit bugs. Afin de mesurer ce risque de qualité et respecter les normes les plus strictes pour la certification des logiciels, il est nécessaire d'exploiter les outils de développement de logiciels embarqués et les générateurs de code certifiés.
ANSYS propose un environnement de développement et de simulation de logiciels embarqués basés sur des modèles et doté d'un générateur automatique de code intégré afin d'accélérer les projets de développement de logiciels embarqués. Les ingénieurs de systèmes et de logiciels utilisent les solutions ANSYS SCADE afin de concevoir, vérifier et générer automatiquement et graphiquement des applications et des systèmes critiques présentant des exigences élevées en termes de fiabilité. Les solutions SCADE sont hautement interopérables et peuvent facilement être intégrées, ce qui permet d'optimiser le développement et d'améliorer la communication entre les membres de l'équipe.
Exemples d'applications
Mécanismes de contrôle dans les unités de contrôle pour les commandes, les freins, les programmes de stabilité, les systèmes d'aide à la conduite (ADAS), certifiés ISO 26262 jusqu'à ASIL D.
Logiciel selon DO-178B & C DAL A par ex. pour le pilote automatique, les moteurs, le contrôle de position, l'hydraulique.
Développement logiciel compatible avec les normes EN62304 et FDA 21 CFR part 11
Logiciels pour véhicules et infrastructures tels que les postes de signalisation ou les passages à niveau, EN 50128 SIL 3/4
Mécanismes de contrôle de position, température, débit, etc., IEC 61508 SIL 3/4
Image numérique d'un produit intelligent en cours d'utilisation ; capteurs virtuels supplémentaires pour un état plus précis du système ; maintenance prédictive ; surveillance de l'état ; état de fonctionnement optimal.
ANSYS SCADE réalise le développement basé sur le modèle jusqu'au code machine certifié et implémente un processus complètement intégré. En même temps, la manipulation reste intuitive et agile, la structure hiérarchique du logiciel fournit une vue d'ensemble complète même avec un grand nombre d'états du système. Le logiciel généré est testé en même temps que le modèle ; les tests dos à dos et les tests de modules ne sont plus nécessaires. Outre le développement de contrôleurs et leur interaction avec les capteurs et actionneurs, ANSYS SCADE couvre également le développement d'interfaces utilisateur (IHM). Des outils de gestion de projet tels que la gestion des exigences, la documentation et la traçabilité assurent la sécurité des produits.
Source : BENDER, Klaus (éd.) : Systèmes embarqués - développement orienté qualité. Maison d'édition Springer, Berlin, 2005
ANSYS Software soutient le développement de modèles de produits mécatroniques intelligents dans toutes les disciplines: mécanique, électronique et logiciel. Basé sur des modèles signifie que les étapes de développement qui s'appuient les unes sur les autres sont cohérentes et que les modèles sont échangés et constamment affinés. Ce travail basé sur des modèles n'a pas seulement lieu au sein d'une discipline, car les modèles peuvent également être utilisés dans d'autres domaines.
De cette façon, le développement de logiciels peut être basé sur des modèles de comportement réalistes et performants issus de la simulation 3D FEM, tandis que les développeurs mécaniques peuvent considérer le logiciel de contrôle comme faisant partie du système de contrôle lors de la conception d'un composant électromécanique. Dans les deux cas, les modèles peuvent être utilisés en option dans une sorte de "boîte noire" qui ne révèle aucune structure interne (protection IP) et qui est facile à utiliser.
Caractéristiques
Modélisation intuitive, structure hiérarchique, modulaire, conçue pour être réutilisable, bonne lisibilité, haute performance du code, évitement des bogues, tests et maintenance simplifiés.
Modèles clairement disposés, évitement de la redondance, comportement déterministe.
Pour les applications critiques pour la sécurité telles que l'aviation ou l'automobile, ANSYS SCADE fournit un code qualifié selon DO 178B & C DAL A, ISO 26262 ASIL D & C, IEC 61508 SIL 3/4, EN50128 SIL 3/4, EN50128 SIL 3/4.
Travail basé sur des modèles à travers les frontières des domaines. Intégration de modèles d'analyses mécaniques, mécaniques, mécaniques des fluides, thermiques, électriques, électriques, magnétiques 2D et 3D ainsi que le développement de logiciels dans ANSYS Simplorer. Modélisation causale pour une construction efficace des modèles. Amélioration de la gestion des exigences pour les composants individuels grâce à une interaction réaliste.
Modules d'ANSYS
Environnement pour le développement et la vérification des systèmes avec des modèles opérationnels et architecturaux. Documentation cohérente et complète avec les documents d'interface. Technologie basée sur SysML dans une interface conviviale. Synchronisation bidirectionnelle avec ANSYS SCADE Suite pour un échange continu avec la programmation fonctionnelle.
Environnement de développement basé sur des modèles pour la génération et la vérification de logiciels embarqués, y compris la génération de code, la simulation et la vérification.
Environnement de développement basé sur des modèles pour la génération et la vérification d'interfaces homme-machine (IHM), y compris la génération de code OpenGL, la simulation et la vérification.
Application Lifecycle Management (ALM) avec traçabilité, génération automatique de logiciels et documentation système.
Environnement de test avec des fonctions étendues pour la création et l'organisation de cas de test, l'exécution efficace de tests sur différentes plates-formes et l'évaluation des résultats et de la couverture de test selon DC (couverture de décision) et MC/DC (couverture de condition modifiée/couverture de décision).