Ein Workflow deckt handgeschriebenen Code und modellbasierte Bestandteile ab, wenn beide Entwicklungsarten eingesetzt werden.
Maschinen- und Anlagenbau
Zertifizierte Verifikation für industrielle Steuerungssoftware.
Derselbe zertifizierte Prozess, der ASIL D-Nachweise im Automotive-Bereich unterstützt, umfasst auch IEC 61508-3.
IEC 61508-3Powered by BTC QCore
Zertifiziert für
ISO 26262IEC 61508-3ISO 25119IEC 62304EN 50716
Warum gerade jetzt
Branchenspezifische Anforderungen werden sichtbar.
1
Steuerungssoftware in Maschinen und Anlagen wächst schneller als die etablierten Testprozesse in ihrem Umfeld.
2
Kunden und Zertifizierungsstellen fordern zunehmend SIL-Nachweise, wodurch die Toolqualifizierung zum Engpass wird.
3
Gemischte Codebasen kombinieren handgeschriebenes C/C++ mit modellbasierten Bestandteilen, ohne einen einheitlichen Verifikationsworkflow.
Normen und Compliance
IEC 61508-3 im selben zertifizierten Prozess.
Das TÜV SÜD-Zertifikat für BTC TestStack umfasst IEC 61508-3. Dasselbe Zertifikat, das ASIL D-Nachweise im Automotive-Bereich unterstützt, kann für SIL-Nachweise in der industriellen Automatisierung verwendet werden.
Deterministisches Model Checking unterstützt den Nachweis dort, wo manuelle Stichproben nicht den gesamten Verhaltensraum abdecken können.
Bei kürzeren Releasezyklen kann die Verifikation in Softwarepipelines für Maschinen und Anlagen automatisiert werden.
Nachweis
Zertifizierte Grundlage für durchgängige Nachweise.
Das Zertifikat schafft die Verbindung: Dieselbe zertifizierte Methode, die im Automotive-Bereich für Nachweise bis ASIL D eingesetzt wird, deckt auch IEC 61508-3 ab.
IEC 61508-3 · SIL 1-3
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 IEC 61508-3.
Evaluieren Sie Ihre Codebasis im Kontext Ihrer Norm gemeinsam mit unserem Engineering-Team.