Simplifiez les flux de travail de conformité avec le nouveau test C/C++ 2024.2 et l'automatisation pilotée par l'IA | Inscrivez-vous
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 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 les capteurs aux systèmes de contrôle des infrastructures critiques et aux systèmes dorsaux de l'entreprise. Internet, tout en améliorant la flexibilité des systèmes, a créé une explosion de nouvelles menaces et de nouvelles complexités. En cas de failles de sécurité dans le logiciel de contrôle, il existe un risque que les portes soient ouvertes à une attaque terroriste utilisant une situation imprévue dans le processus. Solutions de tests Parasoft C/C++ fournit la solution de test de logiciels de sécurité la plus complète du marché, afin que les organisations 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ûreté et de sécurité fonctionnelles, de nombreuses organisations choisissent de développer leur systèmes d'automatisation industrielle conformes avec la norme CEI 61508, qui exige 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 reporting centralisé qui rend les efforts de documentation moins manuels.
Solutions Parasoft pour l'automatisation industrielle
La suite d'outils intégrée de Parasoft offre aux équipes un moyen pratique de prévenir, d'exposer et de corriger les erreurs afin de garantir 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 hiérarchisé en fonction d'attributions de gravité configurables, automatiquement attribué 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 manière de le résoudre. Pour le développement intégré et multiplateforme, vous pouvez utiliser C/C++test et C/C++test CT dans les flux d'analyse et de test de code basés sur l'hôte et sur la cible.
Parasoft C/C++test et C/C++test CT 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 d'un large éventail de types de tests et d'analyses de code automatisés via C/C++test et C/C++test CT sont traités, des analyses intelligentes sont signalées qui réduisent 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é
Les solutions de test Parasoft C/C++ sont conçues en pensant aux 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, C/C++test 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 IEC 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 automatisé d'assistance à la qualification de Parasoft guide les utilisateurs à travers toutes les étapes nécessaires pour qualifier l'outil et automatise la majorité. du travail manuel fastidieux nécessaire à la qualification de 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 requis pour documenter le processus de qualification. Parasoft C/C++test CT est en cours de certification TÜV SÜD et un kit qualité est en cours de développement.
«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
Ressources d'automatisation industrielle
Atteignez à chaque fois vos objectifs en matière de qualité, de sûreté et de sécurité de vos logiciels.