Issue No. 04 - July/August (2008 vol. 34)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TSE.2008.46
Shlomi Dolev , Ben-Gurion University of the Negev, Beer-Sheva
Reuven Yagel , Ben-Gurion University of the Negev, Beer-Sheva
This work presents several approaches for designing self-stabilizing operating systems. The first approach is based on periodical automatic reinstalling of the operating system and restart. The second, reinstalls the executable portion of the operating system and uses predicates on the operating system state (content of variables) to ensure that the operating system does not diverge from its specifications. The last approach presents an example of a tailored self-stabilizing very-tiny operating system. Prototypes using the Intel Pentium processor were composed.
DDistributed objects, Fault tolerance
S. Dolev and R. Yagel, "Towards Self-Stabilizing Operating Systems," in IEEE Transactions on Software Engineering, vol. 34, no. , pp. 564-576, 2008.