L'automatisation industrielle

L'importance et la complexité des logiciels dans les systèmes d'automatisation industrielle augmente régulièrement.
Avec les communications "Internet of Things" (IoT) et "Machine-to-machine" (M2M), l'industrie est confrontée à de nouveaux défis sur tous les marchés et est à la découverte continue de nouvelles vulnérabilités dans des systèmes et capteurs de plus en plus connectés; les clients ont besoin de systèmes logiciels sécurisés, sûrs et fiables quelles que soient les situations.
Ainsi, la qualité des logiciels devient une préoccupation essentielle dans de nombreux projets d'automatisation. Les erreurs de logiciel sont coûteuses. Elles peuvent affecter les ventes de vos produits et la réputation de votre entreprise. Dans le pire des cas, une qualité de logiciel insuffisante peut entraîner des blessures, voir même la mort d'êtres humains. Mesurer efficacement la qualité des logiciels est nécessaire afin d'accroître la sûreté et la sécurité.
Afin de minimiser les risques, la norme CEI 61508 (Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related Systems) est largement utilisée dans l'automatisation industrielle, domaine dans lequel la sûreté, la sécurité et la fiabilité sont très importantes.
Selon les niveaux de criticité, la CEI 61508 requiert une couverture de code, une analyse statique, et une analyse dynamique.
De même, les règles MISRA sont régulièrement utilisées.

La réponse de Testwell CTC++ outil de couverture de code aux exigences de la norme CEI 61508

Selon les conséquences possibles, la CEI 61508 distingue différents niveaux sécurité (SIL).
Testwell CTC++ couvre tous les niveaux de couverture exigés par la CEI 61508.
Testwell CTC++ outil de couverture de code pour C, C++, Java et C# est un outil intuitif et facile à utiliser, qui donne des résultats d'analyse clairs et simples.
Testwell CTC++ a un coût d'instrumentation très bas. Il peut être utilisé avec tous les compilateurs et toutes les cibles embarquées, même les plus petites.
Le kit de qualification pour Testwell CTC++ simplifie la qualification de l'outil Testwell CTC++ pour répondre aux exigences de la norme CEI 61508.
En savoir plus sur Testwell CTC++

L'analyse statique

Imagix 4D est un outil pour comprendre, documenter et améliorer un code source écrit en C, C++ ou Java, qu´il soit complexe, fourni par un tiers ou bien hérité. Avec Imagix 4D vous augmentez la productivité, améliorez la qualité et réduisez les risques.

La testabilité et la possibilité d'effectuer des modifications sûres représentent l'un des objectifs de la norme CEI 61508.
Testwell CMT++ analyse les métriques les plus importantes telles que les métriques de Lignes de code (LOC), les métriques d'Halstead, le nombre cyclomatique de McCabe v(G), l'index de maintenabilité et le Max ND/Maximum Nesting Depth. L'outil est très facile à utiliser, extrêmement rapide et analyse de très grandes bases de code.

Les séminaires

Les développeurs et managers de logiciels critiques ont besoin des meilleures connaissances afin de développer et de fournir un excellent logiciel.
Verifysoft les soutient avec ses séminaires et workshops.

Des centaines d'entreprises et d'organisations améliorent la qualité de leurs logiciels avec les outils de test de Verifysoft Technology

Les solutions de Verifysoft ont démontré leur succès dans le développement de logiciels critiques pour la sûreté et la sécurité, notamment dans le secteur de l'automatisation industrielle. Parmis nos clients satisfaits:







Ce que nos clients disent de nos outils: