Fault Tolerant System Modeling based on Real-Time Object


The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 6, No. 8, pp. 2233-2244, Aug. 1999
10.3745/KIPSTE.1999.6.8.2233,   PDF Download:

Abstract

It is essential to guarantee high reliability of embedded real-time systems since the failure of such systems may result in large financial demage or threaten human life. Though many researches have devoted to fault tolerant mechanisms, most of them are object-level fault tolerant mechanisms that can detect errors occurred in a single object and treat the errors in object-level. As embedded real-time systems become more complex and larger, there exist faults that cannot be detected by or tolerated with object-level fault tolerance. Hence, system-level fault tolerance is needed. System-level fault tolerance examines the status of a system whether the system is normal or not by analyzing the status of object. When an error is detected it should be capable of locating the fault and performing an appropriate recovery and reconfiguration action. In this paper, we propose RobustRTO (Robust Real-Time Object) that provides object-level fault tolerance capability and RMO (Region Monitor real-time Object) that offers system-level fault tolerance capability. Then we show how highly dependable fault tolerant systems can be modeled by RobustRTO and RMO. The model is presented based on real-time object.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
L. H. Taek and Y. S. Min, "Fault Tolerant System Modeling based on Real-Time Object," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 6, no. 8, pp. 2233-2244, 1999. DOI: 10.3745/KIPSTE.1999.6.8.2233.

[ACM Style]
Lim Hyung Taek and Yang Seung Min. 1999. Fault Tolerant System Modeling based on Real-Time Object. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 6, 8, (1999), 2233-2244. DOI: 10.3745/KIPSTE.1999.6.8.2233.