QA-MISRA New

Automated coding standards compliance

QA-MISRA New

Automated coding standards compliance

C/C++ static analysis to accelerate standards compliance & quality insights

Through static code analysis with QA-MISRA, dangerous structures as well as problems with security, maintenance and porting can easily be found at an early stage. The earlier software errors are identified and eliminated in the development process, the more your costs are reduced. QA-MISRA checks for over 900 potential software errors in source code.

  • Fast Analysis of C/C++ Code
    QA-MISRA analyses software packages very quickly, regardless of the size of the codebase. QA-MISRA also focuses on coding standards compliance and code quality insights. This makes the analyzer very quick to run.
  • Accurate standards compliance
    QA-MISRA checks code for compliance with zero false negatives and zero false positives on syntactic coding rules, and low false-positive results on semantic rules.
  • Improve source code quality
    HIS and other code quality metrics with threshold checks. Call graphs and C++ class template diagrams visualise code  quality.

QA-MISRA SUPPORTED CODING STANDARDS

  • MISRA C 2012C
    coding Guidelinesincluding 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++ coding 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

EXPLORE QA-MISRA

Coding Standards Compliance

Coding Standards Compliance
Check your C or C++ code for compliance with MISRA rules, AUTOSAR rules, CERT recommendations, and other coding guidelines.

Learn More

Static Analysis Hero Image - Static analyzers continuously detect and report on dataflow problems, software defects, language implementation errors, inconsistencies, dangerous usage, coding standard violations, and security vulnerabilities

Metrics & Visualisations

Metrics & Visualisations

QA-MISRA checks for compliance and provides insights through metrics to measure and visualisations to understand code.

Learn More

Why invest in QA-MISRA?

Industry leaders use QA-MISRA to:

  • Get to market better products faster
  • Get teams working together more effectively
  • Combine speed with high quality
  • Easily reuse existing code

Learn More

QA Systems static analysis and software testing tools support verification in the linear flow of software development below. We recommend applying sequential approach to these verification stages with tools that are designed and targeted for each purpose.

Flow process QA-MISRA
  • COMPLY         > Use QA-MISRA for fast coding standard compliance at the developer’s desktop first.
  • TEST               > Use Cantata for automated dynamic execution of the standard compliant software.
  • ANALYZE       > Use ASTRÉE for proving absence of run-time errors on whole application.
    NB: Astrée uses the same configuration as QA-MISRA, so the effort to apply it later to a QA-MISRA project later is low.

Special shared license bundle option

QA-MISRA and CANTATA share the same Sentinel RMS user license technology. This allows customers to obtain a bundled solution for both tools to share the same concurrent user license pool, as well as the tools being integrated together in the Eclipse based IDE.

When QA-MISRA is purchased as a bundle with CANTATA or when an existing CANTATA license is converted to a bundle, there are very attractive combined prices available. Please contact us for more information.

Software Safety Standards Compliance

International software safety standards require evidence of coding standards compliance to obtain certification for the device software

In addition, most standards require that verification tools used are certified / qualified or proven through use.
QA-MISRA has been independently certified by SGS-TÜV SAAR GmbH for the main software safety standards. A QA-MISRA tool certification kit is provided free of charge and contains everything needed out-of-the-box to help you achieve certification for your device software. Automatic tool qualification of QA-MISRA is also available with a tool Qualification Support Kit (QSK) – See datasheet below.

(QSK Datasheet)

QA-MISRA has been successfully used to comply with the coding standards requirements of:

CERTIFIED / QUALIFIABLE STANDARDS

For further information about each standard please see the links below:

QA MISRA 22.04 SGS TUV Certificate
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

DO-178B/C

Software Considerations in Airborne Systems and Equipment Certification

OTHER STANDARDS

Automotive – SPICE

ISO/IEC 15504 Information technology — Process assessment

DO-278A

Guidelines for Communication, Navigation, Surveillance and Air Traffic Management (CNS/ATM) Systems Software Integrity Assurance.

ECCS-E-40

Space Engineering: Software

Def Stan 00-55

UK Requirements for Safety Related Software in Defence Equipment

MIL STD 498

US Military-Standard-498 Software Development and Documentation.

NASA 8719.13C

NASA Technical Standard: Software Safety Standard

Why buy from QA Systems

  • A reliable testing vendor for 25 years
  • Hundreds of customers across all safety and business critical sectors
  • We listen to our customers to guide product enhancements
  • Specialists in high reliability automated functional safety
  • Experienced direct technical support teams
  • Tool training and on-site consultancy