Test-Werkzeuge und Zertifizierungen nach DO-178C, EN 50657/EN 50128, IEC 61508, IEC 62304, ISO 26262, etc.
Verifysoft Technology bietet bewährte Softwaretest- und Analysetools an, die Entwicklungsteams beim Erreichen von Zertifizierungen unterstützen:- DO 178-C / ED-12C (Luft- und Raumfahrt)
- EN 50657 bzw. EN 50128 (Eisenbahn)
- IEC 61508 (elektronische Systeme)
- IEC 62304 (Medizintechnik)
- ISO 26262 (Automotive)
- IEC 60880 (Kernenergie)
- ISO 25119 / DIN EN 16590 (landwirtschaftliche Traktoren und Maschinen)
- sowie weitere Qualitätsstandards.
Testwell CTC++ erfüllt alle Anfordungen der Sicherheitsnormen für Code Coverage
Testwell CTC++ Test Coverage Analyser kann in Projekten, die nach diesen Sicherheitsnormen wie DO-178, ISO 26262, EN 50128, EN 61508, IEC 62304 oder IEC 60880 entwickelt und zertifiziert werden, eingesetzt werden.Das Werkzeug ist in zahlreichen sicherheitskritischen Entwicklungsprojekten unter anderem in Luft- und Raumfahrt, Automotive und Medizintechnik erfolgreich im Einsatz. Hier einige unserer Referenzen.
Jetzt mehr über Testwell CTC++ erfahren.
Video: Safety Standards and related Code Coverage Levels
Testwell CTC++-Qualification-Kit für DO-178C, EN 50657 /EN 50128, IEC 61508, IEC 60880 und ISO 26262
Verifysoft bietet ein Qualification-Kit für Testwell CTC++ an. Das Qualification-Kit vereinfacht die Zertifizierung von embedded Software, deren Testabdeckung mit Testwell CTC++ analysiert wird. Das Kit enthält Dokumentationen, Testfälle und Prozeduren, welche die Qualifizierung des Werkzeugs in sicherheitskritischen Projekten unterstützen.
TÜV Süd Zertifikat für Testwell CTC++
- "suitable" für die Nutzung in der safety-related Entwicklung gemäß IEC 61508:2010 (für alle SIL),
- "qualified" für die Nutzung in "standard-compliant" Entwicklungsprozessen gemäß ISO 26262:2018 (für alle ASIL),
- "suitable" für die Nutzung in der safety-related Entwicklung gemäß EN 50128:2011/A2:2020 (für alle SIL),
- und "suitable" für die Nutzung in der safety-related Entwicklung gemäß IEC 62304:2006+A1:2015 (für alle "software safety classes") ist.
Für weitere Informationen zur Nutzung von Testwell CTC++ in der sicherheitskritischen Softwareentwicklung kontaktieren Sie uns.
Erfüllen Sie die Anforderungen für Statische Codeanalyse mit CodeSonar
CodeSonar wurde eigens für die Statische Codeanalyse von sicherheitskritischer Embedded Software entwickelt.
Das Werkzeug ist von der SGS-TÜV Saar GmbH für den Einsatz in der sicherheitskritischen Softwareentwicklung zertifiziert. Die Zertifizierung umfaßt die Standards ISO 26262 bis einschließlich ASIL D, IEC 61508 bis einschließlich SIL 4 und EN 50128 bis einschließlich SW-SIL 4.
CodeSonar ist eines der führenden Tools im Bereich der Statischen Codeanalyse. Es identifiziert unter anderem Bugs, die zu unerwartetem Verhalten führen, Systemabstürze verursachen und Sicherheitsverstöße hervorufen können. Unabhängige Untersuchungen haben gezeigt, dass CodeSonar die tiefste statische Analyse aller statischen Code-Analyse-Werkzeuge bereitstellt. Bei einer guten False-Positive-Rate findet CodeSonar mehr kritische Fehler als andere statische Analysetools.
Jetzt mehr erfahren