Webinaire en vedette : MISRA C++ 2023 : tout ce que vous devez savoir | Voir le séminaire

Automation Industriel

Solutions logicielles d'automatisation industrielle

Développement de logiciels et tests pour l'automatisation industrielle

Les normes de sécurité fonctionnelle telles que la CEI 61508 et ses dérivés exigent des organisations qu'elles prouvent que les logiciels et les exigences de sécurité sont satisfaits et entièrement testés. Depuis plus de 30 ans, Parasoft aide les organisations à suivre ces normes grâce aux meilleures pratiques requises telles que les tests unitaires, la couverture des tests, les mesures logicielles, la traçabilité et l'analyse de code statique avec prise en charge intégrée de MISRA, CERT et d'autres normes de codage de l'industrie de l'automatisation.

Relever les défis actuels du développement logiciel

Gérer les risques de sécurité accrus

Les systèmes d'automatisation industrielle (et les logiciels qui les alimentent) sont devenus de plus en plus connectés, n'utilisant plus de réseaux privés, mais s'appuyant de plus en plus sur l'Internet public pour connecter des capteurs au contrôle des infrastructures critiques et aux systèmes d'entreprise back-end. Internet, tout en améliorant la flexibilité des systèmes, a créé une explosion de nouvelles menaces et complexités. Avec des failles de sécurité dans le logiciel de contrôle, il y a un risque que les portes soient ouvertes à une attaque terroriste en utilisant une situation imprévue dans le processus. Le test Parasoft C / C ++ fournit la solution de test de logiciel de sécurité la plus complète du marché pour la sécurité, afin que les entreprises puissent développer et publier des logiciels avec moins de risques.

S'attaquer aux complexités croissantes du développement moderne et de la connectivité

Les solutions industrielles Internet des objets (IIoT) multicouches nécessitent des technologies et des outils différents pour implémenter et tester le logiciel pour chaque couche. Les capteurs et actionneurs de bas niveau sont très probablement développés avec C et C ++, tandis que les couches supérieures sont implémentées avec Java ou C #. La connectivité ajoute de la complexité avec plusieurs composants utilisant différents protocoles pour propager les messages jusqu'à l'utilisateur final. Parasoft fournit des outils de test pour traiter chaque couche de complexité, intégrés de manière transparente avec des rapports et des analyses sophistiqués pour aider les organisations à gérer cette complexité croissante.

Conforme à la norme CEI 61508 et ses dérivés

Pour les niveaux requis de sécurité fonctionnelle et de sécurité, de nombreuses organisations choisissent de développer leurs systèmes d'automatisation industrielle conformément à la norme CEI 61508, ce qui nécessite des processus de développement et de test de logiciels disciplinés et rigoureux. Les outils de test de logiciels automatisés de Parasoft réduisent le coût de la conformité à la norme CEI 61508 en fournissant les outils automatisés nécessaires pour atteindre efficacement la conformité, ainsi qu'un système de rapport centralisé qui rend les efforts de documentation moins manuels.

Solutions Parasoft pour l'automatisation industrielle

La suite d'outils intégrée de Parasoft fournit aux équipes un moyen pratique de prévenir, d'exposer et de corriger les erreurs afin de s'assurer que leur code C et C ++ fonctionne comme prévu et est conforme aux exigences. Pour favoriser une résolution rapide, chaque problème détecté est priorisé en fonction d'attributions de gravité configurables, automatiquement attribués au développeur qui a écrit le code associé, et distribué à son IDE avec des liens directs vers le code problématique et une description de la façon de le résoudre. Pour le développement intégré et multiplateforme, vous pouvez utiliser le test C / C ++ dans l'analyse de code et les flux de test basés sur l'hôte et sur la cible.

Le test Parasoft C / C ++ aide les équipes de développement de logiciels d'automatisation industrielle à satisfaire les exigences du processus de développement et de vérification de logiciels définies par la norme CEI 61508. Lorsque les résultats du large éventail de types de tests et d'analyses de code automatisés via des tests C / C ++ sont traités, des analyses intelligentes sont signalées, ce qui réduit considérablement le travail requis pour la vérification des logiciels.

Bénéficiez de l'approche Parasoft

Réduisez le coût de développement de logiciels de haute qualité sans sacrifier le temps de mise sur le marché.

Bénéficiez d'un outil unifié avec plusieurs pratiques de test

Le test Parasoft C / C ++ satisfait plusieurs exigences de test logiciel énumérées dans la norme CEI 61508. L'exhaustivité de la solution se traduit par un effort d'apprentissage et de configuration moindre. Les développeurs n'ont pas besoin d'apprendre plusieurs outils et peuvent se concentrer sur leurs activités principales. Les intégrateurs d'outils ou les architectes gagnent du temps sinon passé à implémenter des interfaces entre les outils pour échanger des données et générer des rapports uniformes.

Utilisez une architecture d'outils adaptée aux applications critiques pour la sécurité

Le test Parasoft C / C ++ est conçu pour les applications critiques pour la sécurité. Lors de l'exécution de tests unitaires ou de la surveillance de la mémoire d'exécution, tous les composants requis pour créer le binaire de test, y compris les cas de test pour le code testé, la stimulation et les stubs sont exprimés sous la forme du code source et peuvent être versionnés et inspectés. En exprimant tous les artefacts de test sous la forme du code source, le test C / C ++ garantit que l'état de la mémoire avant l'exécution des tests est construit de la même manière que dans le système de production.

Gagnez en efficacité avec un kit de qualification dédié pour la norme CEI 61508

Le test Parasoft C / C ++ est pris en charge avec un kit de qualification CEI 61508 dédié qui est conforme aux exigences standard pour le processus de qualification des outils. Au lieu de simplement fournir une assistance à la qualification sous la forme d'une collection de cas de test et de modèles pour les scripts et les rapports qui nécessitent beaucoup de personnalisation, l'outil de support de qualification automatisé de Parasoft guide les utilisateurs à travers toutes les étapes nécessaires pour qualifier l'outil et automatise la majorité. du travail manuel fastidieux requis pour qualifier l'outil. Cela comprend l'exécution des cas de test à partir de la suite de tests exhaustive fournie, ainsi que la génération des rapports finaux nécessaires pour documenter le processus de qualification.

stars

«La solution de Parasoft nous apprend à tous à être de meilleurs programmeurs. Elle nous aide à trouver des erreurs dont nous n'avions même pas réalisé qu'elles étaient des erreurs. La solution de Parasoft a permis à l'équipe de modélisation et d'analyse globale d'économiser du temps et des ressources que nous aurions autrement dépensés pour trouver et corriger défauts. Au lieu de cela, nous passons ce temps à ajouter de nouvelles fonctionnalités. "

- Trane