Confidence in Timing - SASSUR : Next Generation of System Assurance Approaches for Safety-Critical Systems Access content directly
Conference Papers Year : 2013

Confidence in Timing

Daniel Kästner
  • Function : Author
Markus Pister
  • Function : Author
Gernot Gebbard
  • Function : Author
Marc Schlickling
  • Function : Author
Christian Ferdinand
  • Function : Author


All contemporary safety standards require to demonstrate the absence of functional and non-functional safety hazards. In real-time systems this includes demonstrating the absence of critical timing hazards. To meet this veri cation objective it is necessary to show the correctness of the timing behavior with adequate con dence. Adequate con dence means that the evidence provided can be trusted beyond reasonable doubt. There are two main sources of doubt: the logic doubt associated with the validity of the reasoning and the epistemic doubt associated with uncertainty about the underlying assumptions. A fundamental timing property is the per-task worst-case execution (WCET). It is an ingredient for determining all higher-level timing concepts like worst-case response times, and system-wide end-to-end times. This article gives an overview of the challenges in ensuring timeliness of real-time software focusing on the worst-case execution time problem. It describes the principles of abstract interpretation-based WCET analysis and summarizes the con dence argument for applying it in the certi cation process of safety-critical software, addressing both logic and epistemic doubt.


Fichier principal
Vignette du fichier
3_-_20130018.pdf (131.4 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00848489 , version 1 (26-07-2013)


  • HAL Id : hal-00848489 , version 1


Daniel Kästner, Markus Pister, Gernot Gebbard, Marc Schlickling, Christian Ferdinand. Confidence in Timing. SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Sep 2013, Toulouse, France. pp.NA. ⟨hal-00848489⟩
296 View
377 Download


Gmail Facebook X LinkedIn More