Browse Publications Technical Papers 2006-01-1499
2006-04-03

Static Memory and Execution Time Analysis of Embedded Code 2006-01-1499

Failure of a safety-critical application on an embedded processor can lead to severe damage or even loss of life. Here we are concerned with two kinds of failure: stack overflow, which usually leads to run-time errors that are difficult to diagnose, and failure to meet deadlines, which is catastrophical for systems with hard real-time characteristics. Classical validation methods like code review and testing with repeated measurements require a lot of effort, are expensive, and do not really help in proving the absence of such errors. AbsInt's tools StackAnalyzer and aiT (timing analyzer) provide a solution to this problem. They use abstract interpretation as a formal method that allows to obtain statements valid for all program runs with all inputs.

SAE MOBILUS

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

Access SAE MOBILUS »

Preview Document Add to Cart
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.
We also recommend:
TECHNICAL PAPER

A Software Engineering Framework for Electronic Engine Controllers

2000-01-0267

View Details

TECHNICAL PAPER

Communication Protocols Analysis for Automotive Diagnostic: KWP2000, J1939 and UDS

2013-36-0248

View Details

TECHNICAL PAPER

Feature Based Architecture Design and Functional Partitioning to Subsystems

2012-01-0011

View Details

X