Challenges of Timing Verification Tools in the Automotive Domain
Pascal Montag, Steffen Görzig, Paul A. Levi · 2006
Every embedded real-time system is inevitably time-restricted. Therefore, worst-case execution times (WCETs) have to be known. The static timing analysis of embedded software promises the calculation of safe upper time bounds. We present the results of a case study which reveal the special challenges of this methodology in the automotive domain. For most of the encountered problems we describe our solutions or propose possible methods for a solution.