Title :
Challenges of Timing Verification Tools in the Automotive Domain
Author :
Montag, Pascal ; Gorzig, S. ; Levi, Paul
Author_Institution :
DaimlerChrysler Res. & Technol., Ulm
Abstract :
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.
Keywords :
automotive engineering; mechanical engineering computing; automotive domain; static timing analysis; timing verification tools; worst-case execution times; Aerospace electronics; Application software; Automotive engineering; Embedded software; Engines; Hardware; Real time systems; Software safety; Software systems; Timing;
Conference_Titel :
Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on
Conference_Location :
Paphos
Print_ISBN :
978-0-7695-3071-0
DOI :
10.1109/ISoLA.2006.52
