GrammaTech announced that Dr. Paul Anderson, Vice President of Engineering, has joined the MISRA committee to collaborate on world-leading best practice guidelines for the safe and secure development of both embedded control systems and standalone software.
The Motor Industry Software Reliability Association (MISRA) committee provides programming guidelines that are used by software teams building safety critical software, and are proven to lead to software that is easier to understand, easier to maintain and has less bugs. Currently, the MISRA committee is working to combine the AUTOSAR C++ 14 Coding Guidelines with the MISRA C++ 2008 coding standard into one single standardized document for the industry to utilize as a comprehensive guide.
GrammaTech CodeSonar detects violations against the MISRA C and C++ coding guidelines, and also provides advanced, whole program static analysis using techniques like dataflow analysis, symbolic execution and advanced theorem provers, allowing it to find complex software defects that can lead to safety or security vulnerabilities. CodeSonar is used by project teams that build software that is safety and security critical for the aerospace and defense, IoT, automotive, medical and industrial industries, and provides users with a single environment to detect both coding guideline violations as well as software defects. MISRA support is a standard feature in CodeSonar and is available out-of-the-box to all licensed customers.