DocumentCode
3144220
Title
Challenges of Timing Verification Tools in the Automotive Domain
Author
Montag, Pascal ; Gorzig, S. ; Levi, Paul
Author_Institution
DaimlerChrysler Res. & Technol., Ulm
fYear
2006
fDate
15-19 Nov. 2006
Firstpage
227
Lastpage
232
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ISoLA.2006.52
Filename
4463717
Link To Document