Verifying timing behavior by abstract interpretation of executable code

Authors:
Christian Ferdinand;Reinhold Heckmann
Affiliations:
AbsInt Angewandte Informatik GmbH, Saarbrücken, Germany;AbsInt Angewandte Informatik GmbH, Saarbrücken, Germany
Venue:
CHARME'05 Proceedings of the 13 IFIP WG 10.5 international conference on Correct Hardware Design and Verification Methods
Year:
2005

Citing 3
Cited 3

Real-time and embedded systems

ACM Computing Surveys (CSUR)
Extracting safe and precise control flow from binaries

RTCSA '00 Proceedings of the Seventh International Conference on Real-Time Systems and Applications
Combining Abstract Interpretation and ILP for Microarchitecture Modelling and Program Path Analysis

RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium

Towards the Formal Verification of Lower System Layers in Automotive Systems

ICCD '05 Proceedings of the 2005 International Conference on Computer Design
On the architecture of system verification environments

HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
Towards the pervasive verification of automotive systems

CHARME'05 Proceedings of the 13 IFIP WG 10.5 international conference on Correct Hardware Design and Verification Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

Many tasks in safety-critical embedded systems have hard real-time characteristics. AbsInt's worst-case execution time analyzer aiT can estimate precise and safe upper bounds for the WCETs of program tasks, thus providing the basic input for verifying the real-time behavior of embedded applications.