Automated coding standards compliance
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.
QA-MISRA SUPPORTED CODING STANDARDS
EXPLORE QA-MISRA
Coding Standards Compliance
Check your C or C++ code for compliance with MISRA rules, AUTOSAR rules, CERT recommendations, and other coding guidelines.
Metrics & Visualisations
Metrics & Visualisations
QA-MISRA checks for compliance and provides insights through metrics to measure and visualisations to understand code.
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
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.
- 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:
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
