×

Ready to download this white paper?

First Name
Last Name
Job Title
Company
Phone Number
Address
Country
You may receive a request for your feedback from OpenSystems Media. Read our new Privacy Policy to understand what data we collect, why we collect it, and what we do with it.
Europe OptIn
Your download is ready!
Error - something went wrong!
   

Making Safety-Critical Software Development Affordable with Static Analysis

November 6, 2018

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
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
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...