IEEE Transactions on Computers · 1975 · 105 citations · 3 references
EngineeringHardware Verification LanguageMem TestingComputer ArchitectureSoftware EngineeringSoftware AnalysisFormal VerificationHardware SecurityReliability EngineeringFault AnalysisSystems EngineeringFault-tolerant ControlDigital LogicComputer EngineeringBuilt-in Self-testDigital HardwareFault IsolationDesign For TestingProgram AnalysisSoftware TestingIntegrated Circuit TechnologyFormal MethodsFault Injection
Advances in integrated circuit technology are decreasing acquisition cost per function of digital hardware while system software costs are increasing. The hardware advances allow practical implementation of more sophisticated and complex systems which have fewer components, but which may present severe test and maintenance problems due to their complexity. As a result, the use of built-in test (BIT) hardware in place of software becomes increasingly attractive. The Navy funded Advanced Avionics Fault Isolation System (AAFIS) concept utilizes BIT logic for cost-effective fault detection and fault isolation to a digital subsystem and to the faulty module therein. Added logic, available at low cost with advanced microelectronics, is used to perform test pattern generation in each subsystem and to code over the test sequence the outputs and test points on each subsystem module. The coded test response is compared to a predetermined constant. The OR of resulting module pass-fail signals indicates subsystem faults, while identification of a module fail signal provides isolation to a faulty module. Practical coding techniques are presented, with tradeoff of speed, test effectiveness and logic requirements for each. BIT logic design and simulation results verify high fault detection and moderate added logic for BIT.
3
Cyclic Codes for Error Detection
W. W. Peterson, Daniel G. Brown · Proceedings of the IRE · 1961 · 596 citations