Fault-tolerance analysis reveals possible system behavior under the influence of faults. Such analysis is essential for satellites where faults might be caused by space radiation and autonomous recovery is needed. In this paper we present a statistical simulation approach for fault-tolerance analysis of satellite On-Board Computers (OBCs) that are based on Commercial Off-The-Shelf (COTS) compon...

The PYRAMID parallel unstructured adaptive mesh refinement (AMR) library has been coupled with the GeoFEST geophysical finite element simulation tool to support parallel active tectonics simulations. Specifically, we have demonstrated modeling of coseismic and postseismic surface displacement due to a simulated Earthquake for the Landers system of interacting faults in Southern California. The ...

Stratified fault sampling is used in RTL fault simulation to estimate the gate-level fault coverage of given test patterns. RTL fault modeling and fault injection algorithm are developed such that the RTL fault list of a module can be treated as a representative fault sample of the collapsed stuck-at fault set of the module. The RTL coverage for the module is experimentally found to track the g...

Based on finite-state automata (FSA) and equivalent regular expressions, the paper introduces a holistic view of fault modeling that can be carried out as a complementary step to system modeling, revealing much rationalization potential. Appropriate formal notions will be used to introduce efficient algorithms to systematically generate and select test cases. The completeness of the test can be...

In this paper, the finite-horizon H∞ fault estimation problem is investigated for a class of uncertain nonlinear time-varying systems subject to multiple stochastic delays. The randomly occurring uncertainties (ROUs) enter into the system due to the random fluctuations of network conditions. The measured output is quantized by a logarithmic quantizer before being transmitted to the fault estima...

A method is presented for deriving test suites with the guaranteed fault coverage for deterministic possibly partial Timed Finite State Machines (TFSMs). TFSMs have integer boundaries for time guards and the time reset operation at every transition; for TFSM implementations the upper bound on the number of states is known as well as the largest finite boundary and the smallest duration of time ...

Tests of two fault boundary conditions show that each converges with second order accuracy as the finite-difference grid is refined. The first method uses split nodes so that there are disjoint grids that interact via surface traction. The 3D version described here is a generalization of a method I have used extensively in 2D; it is as accurate as the 2D version. The second method represents fa...

With the growing complexity of computer-based systems, their user interfaces, which are mostly realized graphically, also become more complex. Accordingly, the test and analysis process becomes more tedious and costly as well. The present paper introduces a holistic view of fault modeling that can be carried out as a complementary step to system modeling, thus specifying both the desirable and ...