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)
Licence
Loading...

Dates et versions

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

Licence

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⟩
406 Consultations
662 Téléchargements

Altmetric

Partager

  • More