Browse Publications Technical Papers 2019-01-1246
2019-04-02

Analyze This! Sound Static Analysis for Integration Verification of Large-Scale Automotive Software 2019-01-1246

Safety-critical embedded software has to satisfy stringent quality requirements. One such requirement, imposed by all contemporary safety standards, is that no critical run-time errors must occur. Runtime errors can be caused by undefined or unspecified behavior of the programming language; examples are buffer overflows or data races. They may cause erroneous or erratic behavior, induce system failures, and constitute security vulnerabilities. A sound static analyzer reports all such defects in the code, or proves their absence. Sound static program analysis is a verification technique recommended by ISO/FDIS 26262 for software unit verification and for the verification of software integration. In this article we propose an analysis methodology that has been implemented with the static analyzer Astrée. It supports quick turn-around times and gives highly precise whole-program results. We give an overview of the key concepts of Astrée that enable it to efficiently handle large-scale code, and describe a pre-analysis which transforms the source code to make it better amenable to static analysis. The experimental results confirm that sound static analysis can be successfully applied for integration verification of large-scale automotive software.

SAE MOBILUS

Subscribers can view annotate, and download all of SAE's content. Learn More »

Access SAE MOBILUS »

Members save up to 18% off list price.
Login to see discount.
Special Offer: Download multiple Technical Papers each year? TechSelect is a cost-effective subscription option to select and download 12-100 full-text Technical Papers per year. Find more information here.

Due to current capacity constraints, printed versions of our publications - including standards, technical papers, EDGE Reports, scholarly journal articles, books, and paint chips - may experience shipping delays of up to four to six weeks. We apologize for any inconvenience.
We also recommend:
TECHNICAL PAPER

Model-Based Development of Distributed Embedded Real-Time Systems with the DECOS Tool-Chain

2007-01-3827

View Details

TECHNICAL PAPER

Management of RAM Fault for Safety Applications

2019-26-0365

View Details

Book
BOOK

Automotive Software Engineering, Second Edition

View Details

X