Timing Validation of Automotive Software

  • Daniel Kästner
  • Reinhard Wilhelm
  • Reinhold Heckmann
  • Marc Schlickling
  • Markus Pister
  • Marek Jersak
  • Kai Richter
  • Christian Ferdinand
Conference paper

DOI: 10.1007/978-3-540-88479-8_8

Part of the Communications in Computer and Information Science book series (CCIS, volume 17)
Cite this paper as:
Kästner D. et al. (2008) Timing Validation of Automotive Software. In: Margaria T., Steffen B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. ISoLA 2008. Communications in Computer and Information Science, vol 17. Springer, Berlin, Heidelberg

Abstract

Embedded hard real-time systems need reliable guarantees for the satisfaction of their timing constraints. During the last years sophisticated analysis tools for timing analysis at the code-level, controller-level and networked system-level have been developed. This trend is exemplified by two tools: AbsInt’s timing analyzer aiT, and and Symtavision’s SymTA/S. aiT determines safe upper bounds for the execution times (WCETs) of non-interrupted tasks. SymTA/S computes the worst-case response times (WCRTs) of an entire system from the task WCETs and from information about possible interrupts and their priorities. A seamless integration between both tools provides for a holistic approach to timing validation: starting from a system model, a designer can perform timing budgeting, performance optimization and timing verification, thus covering both the code and the system aspects. However, the precision of the results and the efficiency of the analysis methods are highly dependent on the predictability of the execution platform. Especially on multi-core architectures this aspect becomes of critical importance. This paper describes an industry-strength tool flow for timing validation, and discusses prerequisites at the hardware level for ascertaining high analysis precision.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Daniel Kästner
    • 1
  • Reinhard Wilhelm
    • 2
  • Reinhold Heckmann
    • 1
  • Marc Schlickling
    • 1
    • 2
  • Markus Pister
    • 1
    • 2
  • Marek Jersak
    • 3
  • Kai Richter
    • 3
  • Christian Ferdinand
    • 1
  1. 1.AbsInt GmbHSaarbrückenGermany
  2. 2.Saarland UniversitySaarbrückenGermany
  3. 3.Symtavision GmbHBraunschweigGermany

Personalised recommendations