Studies on Reliability Analysis for Microprocessor Systems

DOI 機関リポジトリ NDLデジタルコレクション Web Site

書誌事項

タイトル
Studies on Reliability Analysis for Microprocessor Systems
著者
今泉, 充啓
著者
IMAIZUMI, Mitsuhiro
学位授与大学
愛知工業大学
取得学位
博士 (工学)
学位授与番号
乙第9号
学位授与年月日
2001-02-27

この論文をさがす

説明

This thesis treats several stochastic models of μP systems. Using the theory of Markov renewal processes , the reliability measures such as the mean times to system failure and to completion of the process are obtained. Moreover, the expected costs are derived and optimal policies which minimize them are analytically discussed. Finally, numerical examples of each model are given and some useful discussions are made . This thesis is divided into 9 chapters. Chapter 1 states fault tolerant techniques and microprocessors (μPs). Chapter 2 considers a μP system with a watchdog timer (WDT) which is preventively maintained at time T and at reset number N. Next, Chapter 3 treats a system where a main processor (MPu) has N watchdog processors (WDPs) with self-checking. To prevent that the MPu becomes faulty, the stochastic model to determine the number of WDPs is formulated. The μP unit which consists of μP and WDP has been recently used. Chapter 4 and Chapter 5 study a system with N μP units. It is assumed in Chapter 4 that a μP is in faulty state if more than K resets have occurred at time T. From the viewpoint of real-time processing of the system, it would be necessary to have the function which completes one processing within a certain limit time. It is assumed in Chapter 5 that a μP is in faulty state if it does not finish one processing until a limit time T. Chapter 6 considers a system with N TMR (Triple Modular Redundancy) units in which each unit consists of μP and WDP. Introducing the concept of complexity, an optimal number of TMR units which minimizes the expected cost is discussed. Chapter 7 deals with the problem for improving the reliability of a μP system with network processing. An optimal policy which minimizes the expected cost until a network processing is successful is discussed. Further, Chapter 8 considers the reliability problem of a μP system whose errors can be detected by using signatures. An optimal division number of a job is discussed. Finally, Chapter 9 summarizes the results derived in this thesis.

identifier:http://repository.aitech.ac.jp/dspace/handle/11133/2252

博士論文

資料形態 : テキストデータ プレーンテキスト
コレクション : 国立国会図書館デジタルコレクション > デジタル化資料 > 博士論文
博士論文

目次

Abstract

Contents

1 Introduction

1.1 Fault Tolerant Techniques

1.2 Microprocessors

1.3 Outline of Thesis

2 Optimal Maintenance Policies for a Microprocessor System with Watchdog Timer

2.1 Introduction

2.2 Model and Availability

2.3 Optimal Policies

2.4 Numerical Examples

2.5 Conclusions

3 Reliability Evaluations of a Fault Tolerant System with N Watchdog Processors

3.1 Introduction

3.2 Model and Mean Time

3.3 Analysis of Reliability

3.4 Optimal Policy

3.5 Numerical Examples

3.6 Conclusions

4 Optimal Number of Microprocessor Units with Watchdog Processor

4.1 Introduction

4.2 Model and Analysis

4.3 Optimal Policy

4.4 Numerical Examples

4.5 Conclusions

5 Reliability Evaluations of a Microprocessor System with Limit Processing Time

5.1 Introduction

5.2 Model and Analysis

5.3 Optimal Policy

5.4 Numerical Examples

5.5 Conclusions

6 Reliability of a Multi-Microprocessor System with Complicated Switching

6.1 Introduction

6.2 Model and Analysis

6.3 Optimal Policy

6.4 Numerical Examples

6.5 Conclusions

7 Optimal Reset Number of a Microprocessor System with Network Processing

7.1 Introduction

7.2 Model and Analysis

7.3 Optimal Policies

7.4 Numerical Examples

7.5 Conclusions

8 Reliability of a Job Execution Process Using Signatures

8.1 Introduction

8.2 Model and Analysis

8.3 Optimal Policy

8.4 Numerical Examples

8.5 Conclusions

9 Conclusions

詳細情報 詳細情報について

問題の指摘

ページトップへ