Runtime Failure Prevention and Reaction - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2018

Runtime Failure Prevention and Reaction

Résumé

This chapter describes how to use in-the-field runtime techniques to improve the dependability of software systems. In particular, we first present an overall vision of the problem of ensuring highly-dependable behaviours at runtime based on the concept of autonomic monitor, and then we present the two families of relevant approaches for this purpose. First, we present techniques related to runtime enforcement that can prevent the system producing bad behaviours. Second, we describe healing techniques that can detect if the system has produced a bad behaviour and react to the situation accordingly (e.g., moving the system back to a correct state).
Fichier principal
Vignette du fichier
rvbook-chapter-error-prevention-and-reaction.pdf (540.67 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01723606 , version 1 (21-10-2018)

Identifiants

Citer

Yliès Falcone, Leonardo Mariani, Antoine Rollet, Saikat Saha. Runtime Failure Prevention and Reaction. Lectures on Runtime Verification, 10457, Springer, pp.103-134, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-75632-5_4⟩. ⟨hal-01723606⟩
264 Consultations
349 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More