Design Fault Tolerance in Operating Systems Based on a Standardization Project

Authors:
Aki Watanabe;Ken Sakamura
Affiliations:
-;-
Venue:
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Year:
1995

Citing 8
Cited 4

Software diversity in computerized control systems

Software diversity in computerized control systems
Distributed Execution of Recovery Blocks: An Approach for Uniform Treatment of Hardware and Software Faults in Real-Time Applications

IEEE Transactions on Computers
The Z notation: a reference manual

The Z notation: a reference manual
Specifying a Safety-Critical Control System in Z

IEEE Transactions on Software Engineering
The Gmicro/300 32-Bit Microprocessor

IEEE Micro
Specifying a Real-Time Kernel

IEEE Software
MLDD (Multi Layered Design Diversity) Architecture for Achieving High Design Fault Tolerance Capabilities

EDCC-1 Proceedings of the First European Dependable Computing Conference on Dependable Computing
Fault Tolerance by Design Diversity: Concepts and Experiments

Computer

A specification-based adaptive test case generation strategy for open operating system standards

Proceedings of the 18th international conference on Software engineering
Improving Design Dependability by Exploiting an Open Model-Based Specification

IEEE Transactions on Computers
Guest Editor's Introduction: Microelectronics in Japan

IEEE Micro
Improving design dependability based on the TRON loose standardization approach

TRON '95 Proceedings of the The 12th TRON Project International Symposium, 1995

Quantified Score

Hi-index	0.00

Visualization

Abstract

We are exploring an MLDD (Multi-Layered Design Diversity) architecture that applies natural design diversity to an application program layer, an operating system layer, and a hardware layer based on the TRON standardization project. We have devised a backward error recovery mechanism for the operating system layer, and to implement it, we have developed a mechanism that automatically exchanges diverse operating system implementations. This paper presents an error-check generation method for the operating system layer. In this method, which is called SBACCG (Specification-Based Adaptive Consistency Checks Generation), one set of consistency checks is derived from a formal specification, and the checks are adapted to each implementation. We experimentally evaluated the effectiveness of our backward error recovery mechanism that uses the error checks generated through SBACCG.