5 Jul
2005
5 Jul
'05
13:30
The following technical report is available from http://aib.informatik.rwth-aachen.de/:
Code Stabilization Felix C. Freiling, Sukumar Ghosh AIB 2005-14
Dijkstra's concept of self-stabilization assumes that faults can only affect the variables of a program. We study the notion of self-stabilization if faults can also affect (i.e., augment) the program code of a system. A code stabilizing system automatically recovers from (almost) arbitrary perturbations of its program code. We prove some lower bounds for code stabilizing systems and argue that code stabilization has many resemblances to the area of integrity management in the domain of security.