Cette licence logicielle fait partie de la gamme EcoStruxure Control Engineering, un ensemble d'outils d'ingénierie logicielle pour l'automatisation industrielle, compatible avec les automates programmables et les contrôleurs d'automatisation programmables (API) de Schneider Electric et de tiers. EcoStruxure Control Engineering - Verification, anciennement PLC Checker, est un outil d'analyse statique des programmes de contrôle pour la gestion de la qualité et de la conformité du code. La licence à usage unique CEGVER01AN est un crédit donnant accès à une analyse de code. Cet outil permet aux utilisateurs d'analyser facilement leur code de contrôle par rapport à un ensemble de règles de programmation afin de garantir sa conformité aux bonnes pratiques ou à une norme d'entreprise/secteur, et de gérer la qualité et la maintenabilité de leurs programmes. Cet outil est une application logicielle en tant que service (SaaS) et prend en charge les cinq langages IEC 61131-3 et différents types de marques et de modèles d'automates programmables, offrant ainsi aux utilisateurs un seul outil à utiliser même avec des bases installées mixtes. Il s'agit d'une application basée sur le cloud, accessible de partout via un simple navigateur web et une connexion utilisateur, ce qui signifie qu'aucune installation n'est requise. Une option de serveur privé est également disponible pour les utilisateurs soumis à des contraintes de sécurité strictes. Cet outil logiciel est destiné aux utilisateurs finaux, aux intégrateurs de systèmes et aux fabricants d'équipements d'origine de tous les secteurs industriels, tels que l'automobile, l'énergie, l'agroalimentaire, l'emballage, le traitement de l'eau et des eaux usées, la fabrication et les infrastructures. Cet outil prend en charge de nombreux types de programmes PLC, notamment EcoStruxure Control Expert et EcoStruxure Machine Expert, ainsi que ceux de nombreux autres fournisseurs. Cela permet d'améliorer la productivité en matière de gestion du cycle de vie des logiciels de contrôle, et contribue ainsi à réduire les délais et les coûts d'ingénierie lors du développement et/ou de la maintenance des applications de contrôle. Cet outil, basé sur la technologie GLIPS, intègre des techniques d'ingénierie logicielle issues de l'informatique et des logiciels embarqués à l'automatisation industrielle pour un processus de développement formalisé, permettant d'accroître la productivité, la qualité, l'efficacité et la maintenabilité.