Logo Parasoft
Image d'un robot industriel dans une chaîne de montage

Automation Industriel

Solutions logicielles d'automatisation industrielle

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

Normes de sécurité fonctionnelle telles que IEC 61508 et ses dérivés exigent des organisations qu'elles prouvent que les exigences logicielles et de sécurité sont respectées et entièrement testées. Depuis plus de 30 ans, Parasoft accompagne les organisations dans le respect de ces normes grâce aux meilleures pratiques requises, telles que les tests unitaires, la couverture des tests, les indicateurs logiciels, la traçabilité et l'analyse statique du code, avec une prise en charge intégrée des normes MISRA, CERT et autres normes de codage du secteur de l'automatisation.

ABB logo
Logo de l'ASML
Logo Honeywell
Logo Panasonic
Logo Schneider Electric
Logo Teradyne
Logo Yaskawa
ABB logo
Logo de l'ASML
Logo Honeywell
Logo Panasonic
Logo Schneider Electric
Logo Teradyne
Logo Yaskawa

Relever les défis actuels du développement de logiciels modernes

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.

En savoir plus

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.

En savoir plus

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.

En savoir plus

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.

En savoir plus

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.

En savoir plus

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.

En savoir plus

Image de deux femmes collaborant sur un ordinateur et une tablette dans une usine.

« La solution de Parasoft nous apprend à tous à devenir de meilleurs programmeurs. Elle nous aide à détecter des erreurs dont nous n'avions même pas conscience. La solution de Parasoft a permis à l'équipe de modélisation et d'analyse globales d'économiser du temps et des ressources que nous aurions autrement consacrés à la recherche et à la correction des défauts. Au lieu de cela, nous pouvons consacrer ce temps à l'ajout de nouvelles fonctionnalités. »

– Trane

Un homme et une femme discutent à l'intérieur d'un bâtiment technologique

Atteignez à chaque fois vos objectifs en matière de qualité, de sûreté et de sécurité de vos logiciels.

Contactez-Nous