Toward self-stabilizing operating systems

Shlomi Dolev, Reuven Yagel

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

18 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 languageEnglish
Title of host publicationProceedings - 15th International Workshop on Database and Expert Systems Applications
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages684-688
Number of pages5
ISBN (Print)0769521959, 9780769521954
DOIs
StatePublished - 1 Jan 2004
EventProceedings - 15th International Workshop on Database and Expert Systems Applications - Zaragoza, Spain
Duration: 30 Aug 20043 Sep 2004

Publication series

NameInternational Conference on Database and Expert Systems Applications - DEXA
Volume15

Conference

ConferenceProceedings - 15th International Workshop on Database and Expert Systems Applications
Country/TerritorySpain
CityZaragoza
Period30/08/043/09/04

ASJC Scopus subject areas

  • Engineering (all)

Fingerprint

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

Cite this