Le logiciel occupe une place croissante dans les systèmes d'automatisation, et sa complexité suit. Avec l'Internet des objets et les communications machine à machine, des vulnérabilités apparaissent continuellement dans des systèmes et des capteurs toujours plus connectés — alors que vos clients attendent des logiciels sûrs, sécurisés et fiables en toute circonstance.
Elle pèse sur les ventes du produit et sur la réputation de l'entreprise. Dans le pire des cas, une qualité insuffisante entraîne des blessures, voire la mort. Mesurer efficacement la qualité du logiciel est la condition pour accroître la sûreté et la sécurité.
Pour maîtriser ces risques, la CEI 61508 — sécurité fonctionnelle des systèmes électriques, électroniques et programmables relatifs à la sécurité — est largement employée dans l'automatisation industrielle. Selon le niveau de criticité, elle exige une couverture de code, une analyse statique et une analyse dynamique. Les règles MISRA y sont également d'usage courant.
Selon les conséquences possibles d'une défaillance, la norme distingue plusieurs niveaux d'intégrité de sécurité (SIL). Testwell CTC++ mesure tous les niveaux de couverture qu'ils imposent.
L'outil s'utilise avec tous les compilateurs et toutes les cibles embarquées, jusqu'aux plus petites, grâce à un coût d'instrumentation très faible. Les résultats d'analyse sont clairs et directement exploitables.
Le kit de qualification simplifie la qualification de l'outil pour répondre aux exigences de la CEI 61508.
En savoir plus sur Testwell CTC++ → Demander une évaluation gratuite
TiCS supervise la qualité du code source dans les environnements multi-technologies, multi-projets et multi-sites. Il permet de :
En automatisation industrielle, nos solutions accompagnent le développement de logiciels critiques pour la sûreté et la sécurité. Parmi elles :
ABB · Bachmann electronic · Baumüller Anlagen-Systemtechnik · Bernecker & Rainer · Bernstein · Biasys Systempartner · Bosch · Canon · Detector Electronics · Eaton · Endress+Hauser Conducta · HIMA · Hitachi · Hittech Multin · HYDAC International · ICS AG Stuttgart · Infineon · Intel · ISH · Kappa Opto-Electronics · Knick Elektronische Messgeräte · Lachmann & Rink · LAMTEC Leipzig · LARsys Automation · Lely · Liebherr · Loewe Opta · Philips Applied Technologies · Schindler Aufzüge · Schneider Electric · SICK · Siemens · SKF · ThyssenKrupp · TTTech Computertechnik · Unicontrol Systemtechnik · Viessmann Werke · VIPA · Vorwerk · Westinghouse
« Testwell CTC++ est utilisé sur l'un de nos projets embarqués. L'intégration sur la cible a été facile. L'outil dispose d'un mode d'emploi bien écrit, et le service client est de bonne qualité. »
« Nous utilisons CTC++ pour mesurer la couverture des tests unitaires et des tests système sur nos cibles embarquées. Les rapports sont parfaits : simples, et contenant exactement ce dont nous avons besoin. Le support de Verifysoft est pertinent et rapide, et l'outillage s'ajoute facilement à la construction des versions. »
« Nous utilisons Testwell CTC++ pour analyser la couverture des tests de notre système et de notre produit de sécurité, développés selon la CEI 61508. Les rapports sont clairs, simples et comprennent toutes les informations nécessaires. L'intégration à notre chaîne d'outils de développement a été très facile, et Verifysoft fournit un excellent support client. »
Développer et livrer un logiciel critique exige des connaissances à jour. Nos webinaires et nos formations intra-entreprise accompagnent développeurs et responsables qualité sur les exigences normatives et les pratiques de test associées.
L'évaluation est gratuite et accompagnée : installation, configuration, intégration à votre chaîne de build et lecture des rapports de couverture.
