MISRA, AUTOSAR and other programming guidelines
MISRA-C and MISRA-C++ are programming standards developed in the automotive industry by the Motor Industry Software Reliability Association (MISRA). The aim of MISRA is to increase quality (particularly in terms of reliability and maintainability) in software development.
The MISRA rules are also used in other industries such as aviation, defense, telecommunications and medical technology.
AUTOSAR (AUTomotive Open System ARchitecture) is a standardization initiative of leading automobile manufacturers and suppliers.
MISRA and AUTOSAR compliance is easiest to achieve with suitable static tools.
With CodeSonar and Imagix 4D, Verifysoft offers various tools to support these standards.
The following guidelines, among others, are currently covered:
- MISRA C 2004
- MISRA C 2012
- MISRA C 223
- MISRA C++ 2008
- AUTOSAR C++ 2014
- MISRA C++ 2022
- MISRA C++ 2023
- DISA-STIG (Security Technical Implementation Guide)
- ISO/IEC TS 17961 (C Secure Coding Rules Technical Specification)
- JPL (JPL Institutional Coding Standard for the C Programming Language)
- Power of Ten (NASA Jet Propulsion Lab)
- MITRE CWE (Common Weakness Enumeration)
- OWASP (Open Worldwide Application Security Project)
- CERT (Software Engineering Institute Computer Emergency Response Team)
- JSF++ (Lockheed Martin Corporation)
CodeSonar is a leading tool for static code analysis. In addition to checking programming guidelines such as MISRA, CodeSonar supports other guidelines. You can easily implement your own programming rules in CodeSonar.
In addition to checking programming rules, CodeSonar also uncovers a large number of bugs.
Coding standards are also checked by Imagix 4D. The tool can also be used for reverse engineering and a better understanding of legacy code.
Contact us for more information. We look forward to your call or email!