Confidence in Timing - SASSUR : Next Generation of System Assurance Approaches for Safety-Critical Systems Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Confidence in Timing

Daniel Kästner
  • Fonction : Auteur
Markus Pister
  • Fonction : Auteur
Gernot Gebbard
  • Fonction : Auteur
Marc Schlickling
  • Fonction : Auteur
Christian Ferdinand
  • Fonction : Auteur

Résumé

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.

Mots clés

Fichier principal
Vignette du fichier
3_-_20130018.pdf (131.4 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-00848489 , version 1

Citer

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⟩
297 Consultations
382 Téléchargements

Partager

Gmail Facebook X LinkedIn More