@inproceedings{07090fa404ce431d84d554594118fd79,
title = "Toward self-stabilizing operating systems",
abstract = "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.",
author = "Shlomi Dolev and Reuven Yagel",
year = "2004",
month = jan,
day = "1",
doi = "10.1109/dexa.2004.1333553",
language = "English",
isbn = "0769521959",
series = "International Conference on Database and Expert Systems Applications - DEXA",
publisher = "Institute of Electrical and Electronics Engineers",
pages = "684--688",
booktitle = "Proceedings - 15th International Workshop on Database and Expert Systems Applications",
address = "United States",
note = "Proceedings - 15th International Workshop on Database and Expert Systems Applications ; Conference date: 30-08-2004 Through 03-09-2004",
}