Skip to Main content Skip to Navigation

Détection d'erreur au plus tôt dans les systèmes temps réel : une approche basée sur la vérification en ligne

Thomas Robert 1
1 LAAS-TSF - Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique
LAAS - Laboratoire d'analyse et d'architecture des systèmes
Abstract : Runtime verification of formal specifications provides the means to generate error detectors with detection capabilities depending mostly on the kind of formalism considered. The stronger the formalism is the easier the speration between correct and erroneous execution is. Nevertheless, two recurring issues have to be considered before using such error detection mechanisms. First, the cost, at run-time, of such error detector has to be assessed. Then, we have to ensure that the execution of such detectors has a well defined semantics. This thesis aims at better understanding the conditions of use of such detectors within critical real-time software application. Given formal behavioural specification, we defined the notion of "behavioural error". Then, we identify the class of early detectors that optimize the detection latency between the occurence of such errors and their signalling. The whole generation process has been implemented for specifications provided as timed automata. The prototype achieves early error detection thanks to a preprocessing of the automaton to generate its temporal abstraction. Our contributions are threefold :formalisation of early detection, algorithms for timed automata run-time verification, andprototyping of such detectors on a real-time kernel, Xenomai.
Document type :
Complete list of metadata

Cited literature [45 references]  Display  Hide  Download
Contributor : Arlette Evrard <>
Submitted on : Tuesday, September 29, 2009 - 10:48:09 AM
Last modification on : Thursday, June 10, 2021 - 3:05:45 AM
Long-term archiving on: : Tuesday, October 16, 2012 - 11:35:52 AM


  • HAL Id : tel-00420480, version 1


Thomas Robert. Détection d'erreur au plus tôt dans les systèmes temps réel : une approche basée sur la vérification en ligne. Informatique [cs]. Institut National Polytechnique de Toulouse - INPT, 2009. Français. ⟨tel-00420480⟩



Record views


Files downloads