Applying static timing analysis to component architectures

Authors:
Pascal Montag;Steffen Görzig;Paul Levi
Affiliations:
DaimlerChrysler Research and Technology, Ulm, Germany;DaimlerChrysler Research and Technology, Ulm, Germany;Stuttgart University, Stuttgart, Germany
Venue:
Proceedings of the 2006 international workshop on Software engineering for automotive systems
Year:
2006

Citing 3
Cited 0

Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Performance Analysis of Real-Time Embeded Software

Performance Analysis of Real-Time Embeded Software
Applying Static WCET Analysis to Automotive Communication Software

ECRTS '05 Proceedings of the 17th Euromicro Conference on Real-Time Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

The increase in software functions and software complexity of automotive applications requires appropriate software architectures. A promising approach is the component architecture which also stands in the centre of the automotive standardisation project AUTOSAR[2].As every embedded real-time system inevitably has upper time bounds, we present an integrated method of timing estimation for highly flexible and variant applications based on a prototype component architecture. Therefore, we especially develop methods for parameterised timing estimation which depend on the grade of complexity, variability and necessary exactness.The feasibility of the introduced concept is shown in the prototype architecture and a prototype application.