@inproceedings{10065d06a1b7424793eda0d9727bbed7,
title = "Self-stabilizing autonomic recoverer for eventual Byzantine software",
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.",
keywords = "Computer bugs, Computer industry, Computer science, Fault tolerant systems, Monitoring, Packaging, Safety, Software packages, Software systems, Software testing",
author = "O. Brukman and S. Dolev and Kolodner, \{E. K.\}",
note = "Publisher Copyright: {\textcopyright} 2003 IEEE.; IEEE International Conference on Software- Science, Technology and Engineering, SwSTE 2003 ; Conference date: 04-11-2003 Through 05-11-2003",
year = "2003",
month = jan,
day = "1",
doi = "10.1109/SWSTE.2003.1245312",
language = "English",
series = "Proceedings - IEEE International Conference on Software- Science, Technology and Engineering, SwSTE 2003",
publisher = "Institute of Electrical and Electronics Engineers",
pages = "20--29",
booktitle = "Proceedings - IEEE International Conference on Software- Science, Technology and Engineering, SwSTE 2003",
address = "United States",
}