Self-stabilization
The Vision of Autonomic Computing
Computer
Recovery Oriented Computing (ROC): Motivation, Definition, Techniques,
Recovery Oriented Computing (ROC): Motivation, Definition, Techniques,
Self-Stabilizing Autonomic Recoverer for Eventual Byzantine Software
SWSTE '03 Proceedings of the IEEE International Conference on Software-Science, Technology & Engineering
Toward Self-Stabilizing Operating Systems
DEXA '04 Proceedings of the Database and Expert Systems Applications, 15th International Workshop
Hi-index | 0.00 |
Computerized management of critical systems makes the issues of correctness and faultless flow of long-lived and continuously-running programs extremely important e.g., [6, 7]. Complex systems cannot be fully verified because their verification may require an unreasonable amount of time and space. The software industry tests software products extensively in order to eliminate bugs as much as possible. Normally, software is tested by executing a set of large, but length-bounded and non-exhaustive scenarios starting from a predefined initial state while each scenario is defined by a set of input/output sequences. Undesired and unplanned behavior (bug) may occur due to scenarios that were not tested prior to the software release. Software malfunctions may cause damage that can outweigh the software cost. Keeping all this in mind, a consumer of a critical system would like to have a warranty that such a system will operate properly.