Slide 1

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
Aerospace and defence
Energy
Medical devices
Business critical
Railways
Industrial automation

SAFETY STANDARDS

ISO 26262

Road vehicles – Functional safety

IEC 60880

Nuclear Power

IEC 62304

Medical device software – software life cycle processes

IEC 61508

Functional Safety of Electrical/ Electronic/ Programmable Electronic Safety-related Systems

EN 50128

Railway applications – Communication, signalling and processing systems

EN 50657

Railway applications – Rolling Stock Applications – Software on Board Rolling

DO-178B/C

Software Considerations in Airborne Systems and Equipment Certification

CODING STANDARDS

MISRA C 2012
C coding Guidelines inc. Amendments 1 & 2

MISRA C++ 2008
C++ Coding Guidelines

AUTOSAR C++14
C++ for Adaptive Autosar

HIS Metrics
Hersteller Initiative Software

JSF AV C++
C++ standard for JSFF-35 aircraft program

CERT C/C++ 2016
C/C++ Coding Guidelines

CWE 4.7
Common Weakness Enumeration

ISO TS 17961:2013
C Secure Coding Rules

TOOLS

static code analysis tool

Static Analysis
Coding Standards Compliance

Coding standards for functional safety (MISRAAUTOSAR etcand security (CERT and CWE etc). It also provides insights through metrics and visualisations into source code quality.

Cantata

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.

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.

Learn more

Learn more

Learn more