| Bibliography | Montag, Pascal; Görzig, Steffen; Levi, Paul: Challenges of Timing Verification Tools in the Automotive Domain.
In: 2nd IEEE International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Paphos (Cyprus), November 15-19, 2006.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology.
pp. 1-6, english.
IEEE CS Press, November 2006.
Article in Proceedings (Conference Paper).
|
|---|
| CR-Schema | I.2.9 (Robotics)
I.2.10 (Vision and Scene Understanding)
I.2.11 (Distributed Artificial Intelligence)
|
|---|
| Keywords | embedded real-time systems; automotive safety |
|---|
| 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.
|
|---|
| Contact | Paul.Levi@ipvs.uni-stuttgart.de |
|---|
| Department(s) | University of Stuttgart, Institute of Parallel and Distributed Systems, Image Understanding
|
|---|
| Entry date | March 15, 2007 |
|---|