Skip to Main content Skip to Navigation
Theses

Supervision en ligne de propriétés temporelles dans les systèmes distribués temps-réel

Olivier Baldellon 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 : Current systems are becoming every day more and more complex, being both distributed and real-timed. Conventional methods responsible for guaranteeing dependability, such as testing, fault injection or formal methods are no longer sufficient. In order to process any errors when they appear in a given distributed system, we want to implement a software monitoring it and capable of launching an alert when the system does not respect anymore its specification. Such a program is called monitor. A monitor interpret information received from the system as messages (these messages are called events) and propose a diagnosis. The objective of this thesis is to set in place a monitor for a distributed real-time verification of temporal properties. In particular we want our monitor to be able to check up a maximum of properties with a minimum of information. Thus, our tools are designed to work perfectly even if the observation is imperfect, that is to say, even if some events are late or never received. We have also managed to achieve this goal through a highly distributed protocol. To verify the feasibility and effectiveness of our approach, we have established an implementation called Minotor who was found to have very good performance. Finally, we detailed a set of properties, expressed in our formalism, to show it’s expressiveness.
Complete list of metadata

Cited literature [43 references]  Display  Hide  Download

https://hal.laas.fr/tel-02098176
Contributor : Christine Fourcade <>
Submitted on : Friday, April 12, 2019 - 2:13:50 PM
Last modification on : Thursday, June 10, 2021 - 3:01:19 AM

File

BALDELLON Olivier.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-02098176, version 1

Citation

Olivier Baldellon. Supervision en ligne de propriétés temporelles dans les systèmes distribués temps-réel. Calcul parallèle, distribué et partagé [cs.DC]. Institut national polytechnique de Toulouse (INPT), 2014. Français. ⟨tel-02098176⟩

Share

Metrics

Record views

156

Files downloads

61