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
C Guidelines incl.
Amendments 1 & 2
AUTOSAR C++14
C++ for Adaptive Austosar
JSF AV C++
C++ standard for JSFF-35 aircraft program
CWE 4.7
Common Weakness Enumeration
MISRA C++ 2008
C++ Coding Guidelines
HIS Metrics
Hersteller Initiative Software
CERT C/C++ 2016
C/C++ Coding Guidelines
ISO TS 17961:2013
C Secure Coding Rules
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
