Towards self-stabilizing operating systems

Shlomi Dolev, Reuven Yagel

Research output: Contribution to journalArticlepeer-review

9 Scopus citations


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.

Original languageEnglish
Pages (from-to)564-576
Number of pages13
JournalIEEE Transactions on Software Engineering
Issue number4
StatePublished - 19 Aug 2008


  • Operating system fault tolerance
  • Self-stabilizing systems

ASJC Scopus subject areas

  • Software


Dive into the research topics of 'Towards self-stabilizing operating systems'. Together they form a unique fingerprint.

Cite this