QA∙C 8.0 and QA∙C++ 3.0, with MISRA Compliance Modules have been certified by SGS-TÜV SAAR as “usable in the development of safety related software” for the key safety critical standards, IEC 61508, ISO 26262, EN 50128, IEC 60880 and IEC 63204.
PRQA’s QA∙C, QA∙C++ and QA∙Verify tools offer the closest possible examination of C and C++ code. All contain powerful, proprietary parsing engines combined with deep accurate dataflow which deliver high fidelity language analysis and comprehension. They identify problems caused by language usage that is dangerous, overly complex, non-portable or difficult to maintain. They also provide a mechanism for coding standard enforcement.
“Developers working in the most extreme safety-critical applications need confidence in their tools,” said Evgueni Kolossov, PRQA’s R&D Director. “Certification provides evidence for them to have this confidence and to meet the stringent requirements of safety standards. We are proud that SGS-TÜV SAAR has helped us with the next step on our path of continuous improvement, building on our earlier IEC 61508 and ISO 26262 certification.”
The standards for which QA∙C and QA∙C++ are now certified are:
ISO 26262 (automotive) up to ASIL level D
IEC 61508 (general industrial) up to SIL 4
EN 50128 (railways) up to SW-SIL 4
IEC 62304 (medical devices) up to Software Safety Class C
IEC 60880 (nuclear power)
In each standard QA∙C and QA∙C++ are certified for analysing software that will be meeting the highest level of safety. SGS-TÜV SAAR, a joint venture of the SGS-Group Germany and TÜV Saarland e.V., is recognised as one of the world’s leaders in safety certification, including products, processes and tools.