Lösungen für die Einhaltung von Sicherheits- und Programmierstandards
Wer Sicherheitsstandards erfüllen muss, ist bei QA Systems an der richtigen Stelle. Wir unterstützen unsere Kunden bei der Einhaltung von Sicherheits- und Programmierstandards, sowie die Softwarequalität ihrer eingebetteten Software zu verbessern – mit hochautomatisierten statischen Analyse- und Testtools. Mit unseren Lösungen automatisieren Sie Unit-Tests, Codeabdeckung, Integrationstests sowie die Einhaltung von Sicherheits- und Programmierstandards.
Die Tools von QA Systems sind zertifiziert. Von der unabhängigen Prüforganisation SGS-TÜV SAAR. Und zwar für alle gängigen Sicherheitsstandards.
Sie möchten mehr über unsere Tools im Zusammenhang mit Ihrem sicherheits- oder geschäftskritischen Bereich oder Sicherheitsstandard wissen? Dann wählen Sie eine der folgenden Optionen.
BRANCHEN
SICHERHEITSSTANDARDS
ISO 26262
Road vehicles – Functional safety
IEC 60880
Nuclear Power
IEC 62304
Medical device software – software life cycle processes
PROGRAMMIERSTANDARDS
MISRA C
2012 (incl. Amendments 1,2 &3), 2023 und 2025 – Programmierrichtlinien für C
AUTOSAR C++14
C++ für Adaptive Autosar
JSF AV C++
C++-Programmierstandard für JSFF-35 Flugzeug-Programm
CWE 4.7
Common Weakness Enumeration für C/C++
MISRA C++
2008 und 2023 – Programmierrichtlinien für C++
HIS Metriken
Hersteller Initiative Software
CERT C/C++
2016 – C/C++ Security Programmierrichtlinien für C/C++
ISO TS 17961
2013 – Security Programmierrichtlinien für C
TOOLS
Statische Analyse
Einhaltung von Programmierstandards
Programmierstandards für funktionale Sicherheit (MISRA, AUTOSAR usw.) und Sicherheitsstandards (CERT und CWE usw.). Außerdem bietet es durch Metriken und Visualisierungen Einblicke in die Codequalität.
Automatisierte Unit- &
Integrationstests
Verifikation von standardkonformem oder geschäftskritischem C/C++-Code auf eingebetteten Ziel- und Host-Plattformen. Integriert in eine umfangreiche Reihe von Toolketten für die Entwicklung eingebetteter Systeme, von Cross-Compilern bis hin zu Tools für Requirements Management und Continuous Integration.
Einhaltung von Sicherheitsstandards für Google Test Suites
Cantata Hybrid ist ein spezielles Subset von Cantata, das es ermöglicht, Nachweise der Testergebnisse sowie Code Coverage Metriken aus bestehenden GoogleTest Suites zu generieren.
‚Sound Static Analysis‘ zum Nachweis
der Abwesenheit von Laufzeitfehlern
Nachweis der Abwesenheit von Laufzeitfehlern und ‚Dataraces‘. Es meldet Fehler, die durch nicht spezifiziertes und undefiniertes Verhalten gemäß den C- und C++-Sprachstandards verursacht werden, sowie Fehler, die durch ungültiges gleichzeitiges Verhalten verursacht werden. Des Weiteren berechnet Astrée Programmeigenschaften, welche für die funktionale Sicherheit relevant sind.
Mehr erfahren
Mehr erfahren
Mehr erfahren
Mehr erfahren
