Bibliograph.
Daten | 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.
Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik.
S. 1-6, englisch.
IEEE CS Press, November 2006.
Artikel in Tagungsband (Konferenz-Beitrag).
|
|---|
| CR-Klassif. | I.2.9 (Robotics)
I.2.10 (Vision and Scene Understanding)
I.2.11 (Distributed Artificial Intelligence)
|
|---|
| Keywords | embedded real-time systems; automotive safety |
|---|
| Kurzfassung | 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.
|
|---|
| Kontakt | Paul.Levi@ipvs.uni-stuttgart.de |
|---|
| Abteilung(en) | Universität Stuttgart, Institut für Parallele und Verteilte Systeme, Bildverstehen
|
|---|
| Eingabedatum | 15. März 2007 |
|---|