Le code basé sur des modèles et le code écrit à la main peuvent être vérifiés au sein d’un même processus de constitution des éléments de preuve.
Agriculture et engins hors route
Vérification certifiée des logiciels de machines agricoles.
Éprouvée dans l’automobile jusqu’à ASIL D, la même méthodologie de vérification est certifiée pour ISO 25119.
ISO 25119Powered by BTC QCore
Certifié pour
ISO 26262IEC 61508-3ISO 25119IEC 62304EN 50716
Pourquoi maintenant
Les enjeux propres au secteur mis en évidence.
1
Les machines agricoles s’électrifient et s’automatisent rapidement, tandis que la part du logiciel augmente de façon comparable à la transition SDV de l’automobile.
2
Les cycles de développement saisonniers laissent peu de marge pour répéter manuellement les tests avant le déploiement d’une nouvelle version du firmware.
3
Les environnements d’exploitation difficiles exigent des tests de régression particulièrement rigoureux à chaque mise à jour logicielle.
Normes et conformité
ISO 25119 au sein du même processus certifié.
ISO 25119 figure dans le même certificat TÜV SÜD qu’ISO 26262 jusqu’à ASIL D. Aucune campagne distincte de qualification des outils n’est nécessaire pour les éléments de conformité AgPL.
Les méthodes formelles aident à ne pas dépendre uniquement d’une couverture coûteuse par des essais sur le terrain.
Des chaînes d’éléments de traçabilité facilitent les audits AgPL, des exigences jusqu’aux résultats de vérification.
Éléments de preuve
Un même certificat relie les éléments de preuve.
La continuité des éléments de preuve repose sur le même certificat, des pratiques ASIL D de l’automobile à ISO 25119.
ISO 25119 · AgPL a-e
Environnements pris en charge
S’intègre aux environnements d’ingénierie réellement utilisés dans ce secteur.
Feel the Quality
Découvrez BTC TestStack dans le contexte d’ISO 25119.
Évaluez votre base de code dans le contexte de votre norme avec nos ingénieurs.