Deliver Smarter Smart Cars
Eliminate system crashes from your crash-avoidable systems.
For suppliers of automotive systems, the move towards more regulated software systems raises concerns around expertise, increased development time, and cost. At the same time, with the exponential increase in the quantity of software in today’s automobiles and the growing connectivity of such software, the risk of injury or death caused by software errors or security breaches has raised the stakes for organizations. Even without a catastrophic event, no developer wants to be identified as the cause of an expensive vehicle recall due to a software defect.
GrammaTech's CodeSonar provides an automotive solution for your team's SAST needs by supporting the latest automative standards like MISRA and ISO 26262, unlocking hidden defects from your supply chain, and reducing your business risks through real-time visibility into your code quality.
Empower your teams to deliver the best, smartest cars on the planet without the risk.
Join other automotive organizations who rely on GrammaTech:
CodeSonar helps you comply with automotive coding standards:
- MISRA C: 2004,2012
- ISO 26262
- Mitre's CWE
- Build Security In (BSI)
- U.S. CERT
"Codesonar met our rigorous standards and showed it can fit well into our software development process. We are eager to measure the resulting improvements in code quality and safety."
– Software R&D Department,
Reduce Automotive Software Failures with Static Analysis
The automotive industry’s growing innovation, complexity, and reliance on safety-critical software have caused recalls to skyrocket, with software defects accounting for 60-70% of today’s recalls. Given automotive software standards like MISRA, why is it still so difficult to produce high quality software? What can manufacturers do to make sure their software is safe?
This paper describes how to produce reliable safety-critical automotive software, using static analysis to find important defects that are missed during other V&V activities.
How to Avoid Common Pitfalls in MISRA Compliance
MISRA C is a standard developed by the Motor Industry Software Reliability Association, and aims to foster safety, reliability, and portability of programs written in ISO C for embedded systems. Since its introduction in 1998, its use has grown steadily and is now used widely in domains beyond automotive including aerospace, medical devices, industrial control, and others.
This paper describes how to use the MISRA C:2012 standard to reduce the risk of C by prohibiting the more unsafe practices used in programming with it.
Advanced Driver Assistance Systems (ADAS), Safety, and Static Analysis
Advanced Driver Assistance Systems (ADAS) are a key area of innovation in automotive electronics, but their potential improvement and positive impact on safety can only be realized if they undergo the same level of rigor as other safety-critical software. ISO 26262 defines the guidelines for designing and building safety functions in automobiles, which includes ADAS systems. Static analysis plays an important role in developing software to the standard.
This paper discusses the role of static analysis tools within the development of an ADAS system, including the return on investment for adopting them.