Solutions
Safety and coding standards compliance for safety critical software
Solutions for safety and coding standards compliance
QA Systems specializes in providing automated testing tools and solutions to help companies achieve safety standards compliance and enhance their embedded software quality. Our suite of tools comprises unit testing, code coverage, integration testing, and static analysis, which aid in accelerating software safety standards compliance. What’s more, our tools are certified by SGS-TÜV SAAR GmbH, ensuring their suitability for safety-critical sectors.
To learn more about our solutions, explore the categories below.
Sectors
Automotive
Automotive software testing tools to accelerate quality and compliance.
Energy
Energy software testing tools to accelerate quality and compliance.
Railways
Railway Software Testing Tools to Accelerate Compliance and Ensure Quality.
Aerospace and defence
Avionics & Defence software testing tools to accelerate quality and compliance.
Medical devices
Medical device software testing tools to accelerate quality and compliance.
Industrial automation
Industrial automation software testing tools to accelerate quality and compliance.
Business critical
Cost effective risk reduction with static snalysis & software testing tools.
Safety Standards
ISO 26262
Road vehicles – Functional safetystock
IEC 60880
Nuclear Power Plants – Software Aspects for Computer-Based Systems (Safety Category A)
IEC 62304
Medical device software – software life cycle processes
IEC 61508
Functional Safety of Electrical/ Electronic/ Programmable Electronic Safety-related Systems
EN 50716
Software Safety Standards for the Railway Industry
DO-178B/C
Software Considerations in Airborne Systems and Equipment Certification
Coding Standards
Tools
QA Misra
Static Analysis Coding Standards Compliance
Coding standards for functional safety (MISRA, AUTOSAR etc) and security (CERT and CWE etc). It also provides insights through metrics and visualisations into source code quality.
Cantana
Automated Unit & Integration Testing
Verify standard compliant or business critical C/C++ code on embedded target and host native platforms. Integrated with an extensive set of embedded development toolchains, from cross-compilers to requirements management and continuous integration tools.
Cantana Hybrid
Safety Standard Compliance for GoogleTest Suites
Cantata Hybrid is a specialized subset of Cantata that allows the generation of test results evidence and code coverage metrics from existing GoogleTest suites.
Astree
Sound Static Analysis Tool to Prove the Absence of Errors
Proving absence of runtime errors and data races. It reports program defects caused by unspecified and undefined behaviours according to the C/C++ language standards, program defects caused by invalid concurrent behaviour, and computes program properties relevant for functional safety.
Whether you’re evaluating tools or have technical questions, please contact us.