Autour de l'autostabilisation. 2. Techniques spécialisant l'approche
Résumé
Cet article constitue la seconde partie d’un survol des techniques dérivées de l’autostabilisation, la première étant également au sommaire de ce numéro (Devismes et al., 2011). L’autostabilisation permet de tolérer les fautes transitoires. Elle n’offre cependant pas toujours la possibilité d’escamoter certains effets indésirables de ces fautes, par exemple la perte temporaire de sûreté. Des études ont été menées ces dernières années en vue de palier ces inconvénients conduisant, pour les unes, à affaiblir l’autostabilisation, pour les autres au contraire à la renforcer. Différentes généralisations sont présentées dans la première partie (Devismes et al., 2011). Cette seconde partie traite des spécialisations de l’autostabilisation. Il s’agit de renforcer certaines propriétés dans le but d’accroître le spectre des aléas susceptibles d’être tolérés par le système ou encore de mieux le traiter. Nous nous intéressons ici aux propriétés dont la finalité est d’améliorer la dynamicité, de tolérer plus de fautes ou d’affermir la propriété de convergence.