Towards self-stabilizing operating systems

Shlomi Dolev; Reuven Yagel

doi:10.1109/TSE.2008.46

Towards self-stabilizing operating systems

Shlomi Dolev, Reuven Yagel

Department of Computer Science

Research output: Contribution to journal › Article › peer-review

9 Scopus citations

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.

Original language	English
Pages (from-to)	564-576
Number of pages	13
Journal	IEEE Transactions on Software Engineering
Volume	34
Issue number	4
DOIs	https://doi.org/10.1109/TSE.2008.46
State	Published - 19 Aug 2008

Keywords

Operating system fault tolerance
Self-stabilizing systems

ASJC Scopus subject areas

Software

Access to Document

10.1109/TSE.2008.46

Cite this

@article{c46192fbcf664d3aac10ef77dd0e5abd,

title = "Towards 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.",

keywords = "Operating system fault tolerance, Self-stabilizing systems",

author = "Shlomi Dolev and Reuven Yagel",

year = "2008",

month = aug,

day = "19",

doi = "10.1109/TSE.2008.46",

language = "English",

volume = "34",

pages = "564--576",

journal = "IEEE Transactions on Software Engineering",

issn = "0098-5589",

publisher = "Institute of Electrical and Electronics Engineers",

number = "4",

}

TY - JOUR

T1 - Towards self-stabilizing operating systems

AU - Dolev, Shlomi

AU - Yagel, Reuven

PY - 2008/8/19

Y1 - 2008/8/19

N2 - 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.

AB - 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.

KW - Operating system fault tolerance

KW - Self-stabilizing systems

UR - http://www.scopus.com/inward/record.url?scp=49349094385&partnerID=8YFLogxK

U2 - 10.1109/TSE.2008.46

DO - 10.1109/TSE.2008.46

M3 - Article

AN - SCOPUS:49349094385

SN - 0098-5589

VL - 34

SP - 564

EP - 576

JO - IEEE Transactions on Software Engineering

JF - IEEE Transactions on Software Engineering

IS - 4

ER -

Towards self-stabilizing operating systems

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this