DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Kim, Byung-Kook | - |
dc.contributor.advisor | 김병국 | - |
dc.contributor.author | Kim, Jae-Kwon | - |
dc.contributor.author | 김재권 | - |
dc.date.accessioned | 2011-12-14 | - |
dc.date.available | 2011-12-14 | - |
dc.date.issued | 2003 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=181153&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/35140 | - |
dc.description | 학위논문(박사) - 한국과학기술원 : 전기및전자공학전공, 2003.2, [ x, 124 p. ] | - |
dc.description.abstract | Real-time systems are those which must execute all tasks within their timing constraints. Especially, the increased use of computer systems in many vital aspects of every life, and the growing dependence on these systems, make fault tolerant computing essential in many systems. On the other hand, recent progress on hardware technology for VLSI make tendencies that faults of hardware itself are decreased and instant malfunction of controller by transient faults constitutes a majority of system failure. In addition, recent development of microprocessors and DSPs provided enormous capacity with reasonably low cost. Therefore, to impose fault tolerance to a system, hardware and temporal redundancy are usually used. In this dissertation, we study fault tolerance methodologies of real-time control systems using modular and temporal redundancy in the presence of transient faults. We propose the DMTR (Dual-Modular Temporal Redundancy) with checkpointing strategy for temporal redundancy and dual-modular redundancy structure for hardware redundancy. First, we introduce the basic concept of DMTR system and describe the DMTR strategy. Using discrete Markov model, we formulate the STPMs (State Transition Probability Matrices) for given single task and parameters of environments, model and analyze the reliability of DMTR system for concerning write back and/or update-with-communication overhead time in presence of transient faults such as independent and correlated faults. Also, we find optimal number of subslots (concerned to checkpointing interval) for maximum reliability through numerical evaluation of our formulated system model. Second, we formulate a reliability model of DMTR system with harmonic multiple tasks. For this analysis, we consider the hyper-period in which all multiple tasks are executed an integral number of times, calculate the various STPMs for each task, and formulate the reliability model for the DMTR system based on these STPMs. Since this formulation... | eng |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | Dual-Modular Redundancy | - |
dc.subject | Reliability | - |
dc.subject | Fault-Tolerant | - |
dc.subject | Real-Time | - |
dc.subject | Temporal Redundancy | - |
dc.subject | 시간 여유 | - |
dc.subject | 이중화 시스템 | - |
dc.subject | 신뢰도 | - |
dc.subject | 내고장성 | - |
dc.subject | 실시간 | - |
dc.title | Reliability analysis of real-time fault-tolerant control systems with dual-modular temporal redundancy | - |
dc.title.alternative | 모듈 및 시간 여유를 이용한 실시간 내고장성 제어 시스템의 신뢰도 해석 | - |
dc.type | Thesis(Ph.D) | - |
dc.identifier.CNRN | 181153/325007 | - |
dc.description.department | 한국과학기술원 : 전기및전자공학전공, | - |
dc.identifier.uid | 000965091 | - |
dc.contributor.localauthor | Kim, Byung-Kook | - |
dc.contributor.localauthor | 김병국 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.