On-line Monitoring of Real Time Applications for Early Error Detection - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

On-line Monitoring of Real Time Applications for Early Error Detection

Résumé

Error confinement technologies have proven their efficiency to improve software dependability. Such mechanisms usually require efficient error detectors to swiftly signal any misbehaviour. Real-time systems, due to their timing constraints, require a richer description of correct and/or erroneous states that includes timing aspects. This paper presents real-time error detectors that can be automatically generated from formal models of the expected behaviours of software applications. The considered specifications provide the means to define quantitative temporal constraints on the execution of the application. These detectors check at run-time that the current execution matches its specification. The paper contribution is twofold. Firstly, at the theoretical level, we provide a formal definition of the expected behaviour of such detectors, ensuring a predictable behaviour of the detector system. Secondly, at a practical level, we provide a description of the complete generation process, from the models to the code of the detector.
Fichier non déposé

Dates et versions

hal-02315089 , version 1 (14-10-2019)

Identifiants

Citer

Thomas Robert, Jean-Charles Fabre, Matthieu Roy. On-line Monitoring of Real Time Applications for Early Error Detection. 14th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2008), Dec 2008, Taipei, Taiwan. pp.24-31, ⟨10.1109/PRDC.2008.31⟩. ⟨hal-02315089⟩
47 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More