A Manual Diagnosis Approach Using Targeted Fault Injection and Fault Simulation to Extend ATPG Diagnostic Resolution in Localizing Faults

2019 ◽  
Author(s):  
Rommel Estores ◽  
Karo Vander Gucht
Keyword(s):  
Fault Injection ◽  
Fault Simulation ◽  
Fault Localization ◽  
Pattern Generation ◽  
Test Coverage ◽  
Actual Case ◽  
Electrical Failure ◽  
Starting Point ◽  
Diagnostic Resolution ◽  
Diagnosis Approach

Abstract This paper discusses a creative manual diagnosis approach, a complementary technique that provides the possibility to extend Automatic Test Pattern Generation (ATPG) beyond its own limits. The authors will discuss this approach in detail using an actual case – a test coverage issue where user-generated ATPG patterns and the resulting ATPG diagnosis isolated the fault to a small part of the digital core. However, traditional fault localization techniques was unable to isolate the fault further. Using the defect candidates from ATPG diagnosis as a starting point, manual diagnosis through fault Injection and fault simulation was performed. Further fault localization was performed using the ‘not detected’ (ND) and/or ‘detected’ (DT) fault classes for each of the available patterns. The result has successfully deduced the defect candidates until the exact faulty net causing the electrical failure was identified. The ability of the FA lab to maximize the use of ATPG in combination with other tools/techniques to investigate failures in detail; is crucial in the fast root cause determination and, in case of a test coverage, aid in having effective test screen method implemented.

scholarly journals Test

2021 ◽  
pp. 381-391
Author(s):  
Peter Marwedel
Keyword(s):  
Physical System ◽  
Fault Tolerant ◽  
Fault Injection ◽  
Fault Simulation ◽  
Fault Coverage ◽  
Fault Model ◽  
Pattern Generation ◽  
Signature Analysis ◽  
Fault Tolerant Systems ◽  
Random Patterns

AbstractUnfortunately, we cannot rely on designed and possibly already manufactured systems to operate as expected. These systems may have become defective during their use, or their function may have been compromised during the fabrication or their design. The purpose of testing is to verify whether or not an existing embedded/cyber-physical system can be operated as expected. In this chapter, we will present fundamental terms and techniques for testing. There will be a brief introduction to the aims of test pattern generation and their application. We will be introducing terms such as fault model, fault coverage, fault simulation, and fault injection. Also, we will be presenting techniques which improve testability, including the generation of pseudo-random patterns, and signature analysis. It would be beneficial to consider testability issues already during design. In case of fault-tolerant systems, resilience must be verified.

scholarly journals Fault Risk Assessment of Underwater Vehicle Steering System Based on Virtual Prototyping and Monte Carlo Simulation

2016 ◽  
Vol 23 (3) ◽  
pp. 97-105
Author(s):  
Deyu He ◽  
Niaoqing Hu ◽  
Lei Hu ◽  
Ling Chen ◽  
YiPing Guo ◽  
...  
Keyword(s):  
Risk Assessment ◽  
Monte Carlo Simulation ◽  
Monte Carlo ◽  
Fault Injection ◽  
Fault Simulation ◽  
Virtual Prototyping ◽  
Underwater Vehicle ◽  
Steering System ◽  
Assessment Method ◽  
Risk Indicator

Abstract Assessing the risks of steering system faults in underwater vehicles is a human-machine-environment (HME) systematic safety field that studies faults in the steering system itself, the driver’s human reliability (HR) and various environmental conditions. This paper proposed a fault risk assessment method for an underwater vehicle steering system based on virtual prototyping and Monte Carlo simulation. A virtual steering system prototype was established and validated to rectify a lack of historic fault data. Fault injection and simulation were conducted to acquire fault simulation data. A Monte Carlo simulation was adopted that integrated randomness due to the human operator and environment. Randomness and uncertainty of the human, machine and environment were integrated in the method to obtain a probabilistic risk indicator. To verify the proposed method, a case of stuck rudder fault (SRF) risk assessment was studied. This method may provide a novel solution for fault risk assessment of a vehicle or other general HME system.

scholarly journals Fault Localization Based on Hybrid Genetic Simulated Annealing Algorithm

2021 ◽  
Vol 28 (2) ◽  
pp. 101-109
Keyword(s):  
Simulated Annealing ◽  
Software Testing ◽  
Simulated Annealing Algorithm ◽  
Search Algorithm ◽  
Fault Localization ◽  
Good Effect ◽  
Test Case ◽  
Genetic Simulated Annealing Algorithm ◽  
Starting Point ◽  
Annealing Algorithm

Software testing is an important stage in the software development process, which is the key to ensure software quality and improve software reliability. Software fault localization is the most important part of software testing. In this paper, the fault localization problem is modeled as a combinatorial optimization problem, using the function call path as a starting point. A heuristic search algorithm based on hybrid genetic simulated annealing algorithm is used to locate software defects. Experimental results show that the fault localization method, which combines genetic algorithm, simulated annealing algorithm and function correlation analysis method, has a good effect on single fault localization and multi-fault localization. It greatly reduces the requirement of test case coverage and the burden of the testers, and improves the effect of fault localization.

FLOSPAT: Fault Localization by Sensitized Path Transformation

1996 ◽  
Author(s):  
M.W. Heath ◽  
W. Maly
Keyword(s):  
Boolean Functions ◽  
Fault Localization ◽  
Fault Model ◽  
Sequential Circuits ◽  
Fault Identification ◽  
Identification Algorithm ◽  
Path Tracing ◽  
Full Scan ◽  
Diagnostic Resolution ◽  
Test Vectors

Abstract This paper describes a fault identification algorithm for combinational and full-scan sequential circuits called FLOSPAT - Fault Localization by Sensitized Path Transformation [1,2]. The goal of fault identification is to localize a fault to the fewest possible gates and to determine the Boolean functions realized by those gates. Instead of choosing a fault model, FLOSPAT uses fault-independent sensitized path tracing [3] to localize functional deviations. Sensitized path transformation is used to adaptively generate test vectors which improve the diagnostic resolution. The output of FLOSPAT is used for physical defect diagnosis by cross-referencing gate-level defect dictionaries generated by the contamination-defect-fault mapper CODEF [4,5,6].

High-Level Decision Diagram Simulation for Diagnosis and Soft-Error Analysis

2011 ◽  
pp. 294-309 ◽  
Author(s):  
Jaan Raik ◽  
Urmas Repinski ◽  
Maksim Jenihhin ◽  
Anton Chepurov
Keyword(s):  
Fault Injection ◽  
Soft Errors ◽  
Soft Error ◽  
Design Representation ◽  
Design Error ◽  
Error Location ◽  
Hardware Description ◽  
Source Level ◽  
High Level ◽  
Diagnosis Approach

This Chapter addresses the above-mentioned challenges by presenting a holistic diagnosis approach for design error location and malicious fault list generation for soft errors. First, a method for locating design errors at the source-level of hardware description language code using the design representation of high-level decision diagrams is explained. Subsequently, this method is reduced to malicious fault list generation at the high-level. A minimized fault list is generated for optimizing the time to be spent on the fault injection run necessary for assessing designs vulnerability to soft-errors.

John Stuart Mill's Method In Principle and Practice: A Review of the Evidence

1999 ◽  
Vol 21 (4) ◽  
pp. 369-397 ◽  
Author(s):  
Samuel Hollander ◽  
Sandra Peart
Keyword(s):  
Economic Theory ◽  
Political Economy ◽  
A Priori ◽  
A Posteriori ◽  
Actual Case ◽  
Apparent Position ◽  
Starting Point ◽  
Definition Of ◽  
Sharp Criticism ◽  
The Relationship

Our concern is John Stuart Mill's methodological pronouncements, his actual practice, and the relationship between them. We argue that verification played a key role in Mill's method, both in principle and in practice. Our starting point is the celebrated declaration regarding verification in the essay On the Definition of Political Economy; and on the Method of Investigation Proper to It (1836/ 1967; hereafter Essay): “By the method à priori we mean … reasoning from an assumed hypothesis; which … is the essence of all science which admits of general reasoning at all. To verify the hypothesis itself à posteriori, that is, to examine whether the facts of any actual case are in accordance with it, is no part of the business of science at all, but of the application of science” (Mill 1836/1967, p. 325). The apparent position that the basic economic theory is impervious to predictive failure emerges also in a sharp criticism of the à posteriori method:

Sign in / Sign up

Export Citation Format

Share Document