Making Safety-Critical Software Development Affordable with Static Analysis

Despite rigorous testing, failures still occur in safety-critical software, with catastrophic effects in human and economic terms. Static analysis tools are essential for safety-critical software, to ensure the development of software that is secure and high-quality. In some cases, safety certification standards recommend static analysis tools because of their ability to find defects that testing may miss and to enforce coding standards (among other benefits). The return on investment for static analysis tools is compelling, underscoring that static analysis plays an important part during development but also in system deployment into the marketplace.

Safety-critical software is becoming exceedingly expensive to develop and manufacturers are looking for solutions that increase developer productivity. Static analysis tools are indispensable for safety-critical software development, so much so that experts in the field make them pillars of their software development processes.

Previous White Paper

Finding Concurrency Errors with GrammaTech Static Analysis

Multithreading adds entirely new classes of potential bugs to those that must be considered by developers.

Next White Paper

Protecting Against Tainted Data in Embedded Apps with Static Analysis

This paper describes a static analysis technique – taint analysis – that can be used to find how potentiall...