One solution for the non-determinism problem in the SCEPTRE 2 fault tolerance technique

Author

Bestaoui, Soraya

Author_Institution

Lab. de Autom., Nantes Univ., France

fYear

1995

fDate

14-16 Jun 1995

Firstpage

352

Lastpage

358

Abstract

SCEPTRE 2 is a normative report on the basic mechanisms of the real-time executive kernels. No fault tolerance technique exists in its current version. So, in order to develop fault tolerant real time applications, redundancy management service must be provided. In this paper we present the difficulties we have found during the implementation of fault tolerance in SCEPTRE 2. These difficulties are principally due to the non determinism present in SCEPTRE 2. So our objective in this paper is to present the solution we propose for the resolution of this problem. Our approach to fault tolerance is based upon the replication of capsules on distinct sites. The adopted replication strategy is the semi-active redundancy

Keywords

fault tolerant computing; formal specification; operating system kernels; real-time systems; Estelle specification; SCEPTRE 2; fault tolerance technique; fault tolerant real time applications; nondeterminism problem; real-time executive kernels; redundancy management service; replication strategy; semi-active redundancy; Environmental economics; Fault tolerance; Fault tolerant systems; Humans; Kernel; Operating systems; Organisms; Real time systems; Redundancy; Scheduling;

fLanguage

English

Publisher

ieee

Conference_Titel

Real-Time Systems, 1995. Proceedings., Seventh Euromicro Workshop on

Conference_Location

Odense

ISSN

1068-3070

Print_ISBN

0-8186-7112-2

Type

conf

DOI

10.1109/EMWRTS.1995.514332

Filename

514332