Fault Injection Techniques and Tools for Embedded Systems Reliability Evaluation: 23 - Rilegato

Rilegato

ISBN 10: 1402075898 ISBN 13: 9781402075896

Casa editrice: Kluwer Academic Pub, 2003

Riassunto

This is a comprehensive guide to fault injection techniques used to evaluate the dependability of a digital system. The description and the critical analysis of different fault injection techniques and tools are authored by key scientists in the field of system dependability and fault tolerance.

Su questo libro

Contenuti

Contributing Authors. Preface. Acknowledgements. 1: A First Look at Fault Injection. 1.1: Fault Injection Techniques. 1. Introduction. 2. An Overview of Fault Injection. 3. Hardware-based Fault Injection. 4. Software-based Fault Injection. 5. Simulation-based Fault Injection. 6. Hybrid Fault Injection. 7. Objectives of Fault Injection. 8. Further Researches. 1.2: Dependability Evaluation Methods. 1. Types of Dependability Evaluation Methods. 2. Dependability Evaluation by Analysis. 3. Dependability Evaluation by Field Experience. 4. Dependability Evaluation by Fault Injection Testing. 5. Conclusion and Outlook. 1.3: Soft Errors on Digital Components. 1. Introduction. 2. Soft Errors. 3. Protection against Soft Errors. 4. Other Sources of Soft Errors. 2: Hardware-Implemented Fault Injection. 2.1: Pin-Level Hardware Fault Injection Techniques. 1. Introduction. 2. State of the Art. 3. The Pin Level FI FARM Model. 4. Description of the Fault Injection Tool. 5. Critical Analysis. 2.2: Development of a Hybrid Fault Injection Environment. 1. Dependability Testing and Evaluation of Railway Control Systems. 2. Birth of a Validation Environment. 3. The Evolution of LIVE. 4. Example Application. 5. Conclusions. 2.3: Heavy Ion Induced SEE in SRAM Based FPGAs. 1. Introduction. 2. Experimental Set Up. 3. SEEs in FPGAs. 4. Conclusions. 3: Software-Implemented Fault Injection. 3.1: BOND: an Agents-Based Fault Injector for Windows NT. 1. The Target Platform. 2. Interposition Agents and Fault Injection. 3. The BOND Tool. 4. The Fault Injection Agent. 5. Experimental Evaluation of BOND. 6. Conclusions. 3.2: Xception™: a Software Implemented Fault Injection Tool. 1. Introduction. 2. The Xception Technique. 3. The Xception Toolset. 4. Critical Analysis. 3.3: MAFALDA: A Series of Prototype Tools for the Assessment of Real Time Cots Microkernel-Based Systems. 1. Introduction. 2. Overall Structure of MALFADA-RT. 3. Fault Injection. 4. Workload and Activation. 5. Readouts and Measures. 6. Lessons Learnt and Perspectives. 4: Simulation-Based Fault Injection. 4.1: VHDL Simulation-Based Fault Injection Techniques. 1. Introduction. 2. VHDL Simulation-Based Fault Injection. 3. Fault Models. 4. Description of VFIT. 5. Experiments of Fault Injection: Validation of a Fault Tolerant Microcomputer System. 6. Conclusions. 4.2: MEFISTO: A Series of Prototype Tools for Fault Injection into VHDL Models. 1. Introduction. 2. MEFISTO-L. 3. MEFISTO-C. 4. Some Lessons Learnt and Perspectives. 4.3: Simulation-Based Fault Injection and Testing Using the Mutation Technique. 1. Fault Injection Technique: Mutation Testing. 2. The Alien Tool. 3. Conclusion. 4.4: New Acceleration Techniques for

Dettagli dell'edizione

• Editore: Kluwer Academic Pub
• Data di pubblicazione: 2003
• Lingua: Inglese
• ISBN 10: 1402075898
• ISBN 13: 9781402075896
• Rilegatura: Copertina rigida
• Numero di pagine: 241
• Redattore: Benso Alfredo, Prinetto Paolo
• Contatto del produttore: non disponibile
• Persona responsabile: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Germania