Fault Simulation Under The Multiple Observation Time Approach Using Backward Implications
Fault Simulation Under The Multiple Observation Time Approach Using Backward Implications
复制标题
使用后向蕴涵的多重观测时间方法下的故障模拟
DOI：
10.1145/266021.266297
复制
发表时间：
1997
期刊：
影响因子：
--
通讯作者：
S. Reddy
中科院分区：
文献类型：
--
作者：
I. Pomeranz;S. Reddy
提出了一种改进的基于状态扩展的多观测时间方法下的故障仿真方法，在状态扩展下，将故障仿真过程中达到的一个不完全指定的状态替换为2个{k}个状态，每个状态为k个未指定的当前状态变量赋予不同的组合，并对每个扩展状态隐含额外的输出值。因此，使用常规仿真无法识别的故障现在可以被识别为检测到。这里提出的过程通过反向应用来增强状态扩展，以利用在状态扩展下指定的每个当前状态变量值。由于使用了向后蕴涵，在状态扩展之后需要考虑的状态更少，对于每个故障潜在地需要更少的状态扩展，并且可以有效地考虑的故障数量增加。实验结果支持了这些说法。
We present an improved procedure for fault simulation under themultiple observation time approach based on state expansion.Under state expansion, an incompletely specified state reachedduring fault simulation is replaced by 2{k} states, each one assigninga different combination to k unspecified present state variables.For each expanded state, additional output values are thenimplied. As a result, a fault that cannot be identified as detectedusing conventional simulation may now be identified as detected.The procedure proposed here enhances state expansion by backwardimplications to take advantage of every present state variablevalue specified under state expansion. As a result of usingbackward implications, fewer states need to be considered afterstate expansion, fewer state expansions are potentially neededfor every fault, and the number of faults that can be efficientlyconsidered is increased. Experimental results are presented tosupport these claims.