| Description |
1 online resource (182 p.) |
| Contents |
Cover -- Half Title -- Title Page -- Copyright Page -- Contents -- Foreword -- Preface -- Contributors -- CHAPTER 1: Introduction -- 1.1. AUTOMOTIVE EMBEDDED SYSTEMS -- 1.2. FUNCTIONAL SAFETY -- 1.2.1. Functional Safety Standard -- 1.2.2. Automotive Safety Integrity Level (ASIL) Determination -- 1.3. CHALLENGES OF FUNCTIONAL SAFETY DESIGN -- 1.4. STRUCTURE OF THE RESEARCH -- 1.5. FUNCTIONAL SAFETY ASSURANCE -- 1.5.1. Functional Safety Verification -- 1.5.2. Functional Safety Enhancement -- 1.5.3. Functional Safety Validation -- 1.6. SAFETY-AWARE COST OPTIMIZATION |
|
1.6.1. Hardware Cost Optimization -- 1.6.2. Development Cost Optimization -- 1.7. OUTLINE OF THE BOOK -- 1.8. CONCLUDING REMARKS -- SECTION I: FUNCTIONAL SAFETY ASSURANCE -- CHAPTER 2: Functional Safety Verification -- 2.1. INTRODUCTION -- 2.2. RELATED WORK -- 2.3. MODELS AND PRELIMINARIES -- 2.3.1. System Model -- 2.3.2. Reliability Model -- 2.3.3. Reliability Requirement Assessment -- 2.3.4. Real-Time Requirement Assessment -- 2.3.5. Problem Statement -- 2.4. RESPONSE TIME MINIMIZATION UNDER RELIABILITY REQUIREMENT -- 2.4.1. Satisfying Reliability Requirement |
|
2.4.2. Response Time Minimization -- 2.4.3. Example of the FFSV1 -- 2.5. RELIABILITY MAXIMIZATION UNDER REAL-TIME REQUIREMENT -- 2.5.1. Satisfying Real-Time Requirement -- 2.5.2. Reliability Maximization -- 2.5.3. Example of the FFSV2 -- 2.5.4. Union Verification -- 2.6. EXPERIMENTS FOR FUNCTIONAL SAFETY VERIFICATION ALGORITHMS FFSV2, FFSV2, AND UFFSV -- 2.6.1. Real-Life Parallel Application -- 2.6.2. Synthetic Parallel Application -- 2.7. CONCLUDING REMARKS -- CHAPTER 3: Functional Safety Enhancement -- 3.1. INTRODUCTION -- 3.2. RELATED WORK -- 3.3. MODELS AND PROBLEM STATEMENT |
|
3.3.1. Lower Bound of Application -- 3.3.2. Problem Statement -- 3.4. BACKWARD AND FORWARD SAFETY ENHANCEMENT -- 3.4.1. Existing BFSE Algorithm -- 3.4.2. FFSE Algorithm -- 3.5. REPEATED SAFETY ENHANCEMENT -- 3.5.1. RBFSE Algorithm -- 3.5.2. RFFSE Algorithm -- 3.5.3. Stable Stopping-Based Functional Safety Enhancement -- 3.6. EXPERIMENTS FOR FUNCTIONAL SAFETY ENHANCEMENT TECHNIQUE SSFSE -- 3.6.1. Real-Life Parallel Application -- 3.6.2. Synthetic Parallel Application -- 3.7. CONCLUDING REMARKS -- CHAPTER 4: Functional Safety Validation -- 4.1. INTRODUCTION -- 4.2. RELATED WORK -- 4.3. MODELS |
|
4.3.1. System Architecture -- 4.3.2. Reliability Model -- 4.3.3. Problem Statement -- 4.4. NON-FAULT TOLERANT FUNCTIONAL SAFETY VALIDATION -- 4.4.1. Non-Fault Tolerant Reliability Requirement Assessment -- 4.4.2. Existing Non-Fault Tolerant Functional Safety Validation Algorithms -- 4.4.3. Example of the MRTRR Algorithm -- 4.4.4. Use of Geometric Mean under Non-Fault Tolerance -- 4.4.5. GMNRA Algorithm -- 4.4.6. Example of the GMNRA Algorithm -- 4.5. FAULT TOLERANT RELIABILITY REQUIREMENT VALIDATION -- 4.5.1. Fault Tolerant Reliability Requirement Assessment |
| Notes |
Description based upon print version of record |
|
4.5.2. Existing Fault Tolerant Functional Safety Validation Algorithms |
| Subject |
Embedded computer systems -- Reliability
|
|
Automatic control -- Safety measures
|
|
Automotive computers -- Reliability
|
|
Fault-tolerant computing.
|
|
Fault tolerance (Engineering)
|
|
Fault tolerance (Engineering)
|
|
Fault-tolerant computing.
|
| Form |
Electronic book
|
| Author |
Zhang, Yawen
|
|
Li, Renfa
|
|
Li, Kenli
|
|
Li, Keqin
|
| ISBN |
9781000881318 |
|
1000881318 |
|
