Applying static timing analysis to component architectures

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.

Challenges of Timing Verification Tools in the Automotive Domain

“…Using these annotations, a complete description of the variability of the software is possible, so that only a single analysis is necessary for the complete system. Solutions for the problem of high calculation times for variant component systems is in the centre of the study [14]. However, the high variation of the applications described in this paper is based mainly on the component reuse.…”

“…As shown in [14], known standard architectures can have advantages for all kinds of static analysis software. AUTOSAR (AUTomotiveOpenSoftwareARchitecture) [15], for example, is an attempt to define a common automotive software standard.…”