Abstract:The cost effectiveness of fault detection and isolation techniques used in complex systems is paid more attention in nowadays. Well design for testability (DFT) can save cost in fault detection and isolation, assure adequate failure coverage by Built-In Test (BIT) and Automatic Test Equipment (ATE), reduce false alarms, and reduce maintenance training requirements. However, there are limited intelligent approaches implemented and applied for DFT for integrated diagnostics. Meanwhile, different tools for DFT are incompatible with each other. This phenomenon has prevented testability engineering from integrating into system engineering. The paper promotes a general-purpose graph and information based intelligent approach to DFT supporting concurrent system engineering. Testability models, including information flow model, multi-signal flow model, hybrid dependency model, etc, can all be described by a graph theory core with information attached. Meanwhile, intelligent algorithms are imported to solve complex testability inference problems, most of which are NP problems. The testability figures of merit (TFOMs) defined in IEEE 1522 are adopted to standardize the quantitative parameters to assess the testability level. An intelligent DFT framework is constructed according to AI-ESTATE to realize artificial intelligent information exchanges. The graph and information based intelligent approach is shown to be efficient and effective to realize advanced DFT of complex large systems. The transitive closure algorithm and the logical closure algorithm given in the paper is verified by the example of an electronic equipment with 4 test items and 5 fault modes. The genetic algorithms (GAs) based fault detection rate (FDR) allocation method is applied in a 3 layers' certain electronic system composed of 6 subsystems. By comparing with experience and fault rate based TFOMs allocation method, GAs is shown to be more adaptive and efficiency. © 2011 IEEE.

Design Tool To Express Failure Detection Protocols

Securing c programs by dynamic type checking

Formally expressing the semantics of observer-based fault detection software

Tools Fail: Detecting Silent Errors in Faulty Tools

A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages

Verifying Non-friendly Formal Verification Designs: Can We Start Earlier?

Your Proof Fails? Testing Helps to Find the Reason

Inferring Non-Failure Conditions for Declarative Programs

fault: A Python Embedded Domain-Specific Language For Metaprogramming Portable Hardware Verification Components

A Fault Injection and Formal Verification Framework Based on UML Sequence Diagrams

A Software Failure Debugging Method Based on Combinatorial Design Approach for Testing

Graph and information based intelligent design for testability

A CAD-Based tool for fault tolerant distributed embedded systems

Towards Code Generation from Design Models.

FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems

Doric: Foundations for Statistical Fault Localisation

Software design for reliability and reuse: a proof-of-concept demonstration

In my Wish List, an Automated Tool for Fail-Secure Design Analysis: an Alloy-Based Feasibility Draft

Designing fault-tolerant circuits using detector error models

A HW/SW Codesign Design Tool and Its Specification

Reliability and Fault-Tolerance by Choreographic Design