Modellbasierter und handgeschriebener Code lassen sich in einem gemeinsamen Verifikationsprozess mit durchgängigen Nachweisen prüfen.
Landwirtschaft und Off-Highway
Zertifizierte Verifikation für Software in Landmaschinen.
Im Automotive-Bereich bis ASIL D bewährt, ist dieselbe Verifikationsmethodik für ISO 25119 zertifiziert.
ISO 25119Powered by BTC QCore
Zertifiziert für
ISO 26262IEC 61508-3ISO 25119IEC 62304EN 50716
Warum gerade jetzt
Branchenspezifische Anforderungen werden sichtbar.
1
Landmaschinen werden schnell elektrifiziert und automatisiert; zugleich wächst der Softwareanteil ähnlich wie beim SDV-Wandel im Automotive-Bereich.
2
Saisonale Entwicklungszyklen lassen vor der Einführung neuer Firmware nur wenig Puffer für manuelle Nachtests.
3
Raue Einsatzumgebungen erhöhen bei jedem Softwareupdate die Anforderungen an die Regressionssicherheit.
Normen und Compliance
ISO 25119 im selben zertifizierten Prozess.
ISO 25119 ist Bestandteil desselben TÜV SÜD-Zertifikats wie ISO 26262 bis ASIL D. Für AgPL-Nachweise ist keine separate Toolqualifizierungskampagne erforderlich.
Formale Methoden verringern die Abhängigkeit von kostspieligen Feldtests als alleiniger Nachweisgrundlage.
Durchgängige Nachweisketten unterstützen AgPL-Audits von der Anforderung bis zum Verifikationsergebnis.
Nachweis
Zertifizierte Grundlage für durchgängige Nachweise.
Das Zertifikat schafft die Verbindung von der Automotive-Praxis bis ASIL D zu ISO 25119.
ISO 25119 · AgPL a-e
Unterstützte Umgebungen
Passend für die Engineering-Umgebungen, die in dieser Branche tatsächlich eingesetzt werden.
Feel the Quality
Erleben Sie BTC TestStack im Kontext von ISO 25119.
Evaluieren Sie Ihre Codebasis im Kontext Ihrer Norm gemeinsam mit unserem Engineering-Team.