Self-stabilizing autonomic recoverer for eventual Byzantine software

O. Brukman, S. Dolev, E. K. Kolodner

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

16 Scopus citations

Abstract

We suggest to model software package flaws (bugs) by assuming eventual Byzantine behavior of the package. In particular, the package has been tested by the manufacturer for limited length scenarios when started in a predefined initial state; the behavior beyond the tested scenario may be Byzantine. Restarts (reboots) are useful for recovering such systems. We suggest a general yet practical framework and paradigm, based on a theoretical foundation, for the monitoring and restarting of systems. An autonomic recoverer that monitors and restarts the system is proposed, where: the autonomic recoverer is designed to handle different tasks given specific task requirements in the form of predicates and actions. DAG subsystem hierarchy structure is used by a consistency monitoring procedure in order to achieve gracious recovery. The existence and correct functionality of the autonomic recovery is guaranteed by the use of a kernel resident (anchor) process, and the design of the process to be self-stabilizing. The autonomic recoverer uses new scheme for liveness assurance via online monitoring that complements known schemes for online ensuring safety.

Original languageEnglish
Title of host publicationProceedings - IEEE International Conference on Software- Science, Technology and Engineering, SwSTE 2003
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages20-29
Number of pages10
ISBN (Electronic)0769520472, 9780769520476
DOIs
StatePublished - 1 Jan 2003
EventIEEE International Conference on Software- Science, Technology and Engineering, SwSTE 2003 - Herzlia, Israel
Duration: 4 Nov 20035 Nov 2003

Publication series

NameProceedings - IEEE International Conference on Software- Science, Technology and Engineering, SwSTE 2003

Conference

ConferenceIEEE International Conference on Software- Science, Technology and Engineering, SwSTE 2003
Country/TerritoryIsrael
CityHerzlia
Period4/11/035/11/03

Keywords

  • Computer bugs
  • Computer industry
  • Computer science
  • Fault tolerant systems
  • Monitoring
  • Packaging
  • Safety
  • Software packages
  • Software systems
  • Software testing

Fingerprint

Dive into the research topics of 'Self-stabilizing autonomic recoverer for eventual Byzantine software'. Together they form a unique fingerprint.

Cite this