Paper Info
Title
Timing Validation of Automotive Software
Abstract
Embedded hard real-time systems need reliable guarantees for the satisfaction of their timing constraints. During the last years sophisticated analysis tools for timing analysis at the code-level, controller-level and networked system-level have been developed. This trend is exemplified by two tools: AbsInt's timing analyzer aiT, and and Symtavision's SymTA/S. aiT determines safe upper bounds for the execution times (WCETs) of non-interrupted tasks. SymTA/S computes the worst-case response times (WCRTs) of an entire system from the task WCETs and from information about possible interrupts and their priorities. A seamless integration between both tools provides for a holistic approach to timing validation: starting from a system model, a designer can perform timing budgeting, performance optimization and timing verification, thus covering both the code arid the system aspects. However, tire precision of the results arid the efficiency of the analysis methods are highly dependent on the predictability of the execution platform. Especially on multi-core architectures this aspect becomes of critical importance. This paper describes an industry-strength tool flow for timing validation, and discusses prerequisites at the hardware level for ascertaining high analysis precision.
Year
DOI
Venue
2008
10.1007/978-3-540-88479-8_8
Communications in Computer and Information Science
Keywords
Field
DocType
timing analysis,system modeling,upper bound
Analysis tools,Predictability,Shared memory,CPU cache,Computer science,Real-time computing,Static timing analysis,Automotive software,Spectrum analyzer,System model,Embedded system
Conference
Volume
ISSN
Citations 
17
1865-0929
8
PageRank 
References 
Authors
0.49
20
8
Name
Order
Citations
PageRank
Daniel Kästner17913.39
Reinhard Wilhelm23640434.27
Reinhold Heckmann3152994.73
Marc Schlickling41447.27
Markus Pister517110.84
Marek Jersak630525.27
Kai Richter738434.65
Christian Ferdinand880.49