Un même processus de vérification couvre le code écrit à la main et les parties basées sur des modèles là où ces deux modes de développement coexistent.

Le même processus certifié qui étaye les éléments de conformité ASIL D dans l’automobile couvre également IEC 61508-3.
Les logiciels de commande des machines et installations évoluent plus vite que les processus de test établis qui les entourent.
Les clients et organismes de certification exigent de plus en plus d’éléments de conformité SIL, faisant de la qualification des outils un goulot d’étranglement.
Les bases de code mixtes associent du C/C++ écrit à la main et des parties basées sur des modèles, sans processus de vérification commun et cohérent.
Le certificat TÜV SÜD de BTC TestStack couvre IEC 61508-3. Le même certificat que celui qui étaye les éléments de preuve ASIL D dans l’automobile peut servir à constituer les éléments de preuve SIL dans l’automatisation industrielle.
Un même processus de vérification couvre le code écrit à la main et les parties basées sur des modèles là où ces deux modes de développement coexistent.
La vérification déterministe de modèles contribue à produire des éléments de preuve lorsque l’échantillonnage manuel ne peut pas couvrir tout l’espace des comportements.
La vérification peut être automatisée dans les pipelines logiciels des machines et installations à mesure que les cycles de livraison s’accélèrent.
La continuité des éléments de preuve repose sur le certificat : la méthode certifiée utilisée pour les éléments de conformité ASIL D dans l’automobile couvre également IEC 61508-3.
Évaluez votre base de code dans le contexte de votre norme avec nos ingénieurs.