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 16% 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

An Overview of Models, Methods and Tools for Verification, Validation and Accreditation of Real Time Critical Software

2013-36-0530

View Details

TECHNICAL PAPER

Investigation of Extravehicular Activity Requirements and Techniques at an Arctic Mars Analog Field Science Base

2001-01-2199

View Details

TECHNICAL PAPER

A Structured Assurance Case for Commercial Off-The-Shelf (COTS) Airborne Electronic Hardware (AEH)

2018-01-1939

View Details

X