In this paper, we apply our timing fault modeling strategy to writing formal specifications for communication protocols. Using the formal language of Specification and Description Language (SDL), we specify the Controller process of rail-road crossing system, a popular benchmark for real-time systems. Our extended finite state machine (EFSM) model has the capability of representing a class of t...

[1] To examine the effects of branched fault geometry on the dynamics of fault systems in the long term, we perform multicycle simulations on generic faulting models. An explicit finite element algorithm is used to simulate spontaneous dynamic rupture of earthquakes. The fault stress during the interseismic period is evaluated by an analytical viscoelastic model. We find that the fault prestres...

This paper presents a method for diagnosis of eccentricity fault in a switched-reluctance motor (SRM) during offline and standstill modes. In this method, the fault signature is differential induced voltage (DIV) achieved by injecting diagnostic pulses to the motor windings. It will be demonstrated by means of results that there is a correlation between differential induced voltage and eccentri...

Crack fault of rotor is one of the most prominent problems faced by magnetic bearing rotor system. In order to improve the safety performance of this kind of machinery, it is necessary to research the vibration characteristics of magnetic bearing cracked rotor system. In this paper, the stiffness model of the crack shaft element was established by the strain energy release rate (SERR) theory. T...

This paper describes the modeling of distance relay using Matlab/Simulink package. SimPowerSystem toolbox was used for detailed modeling of distance relay, transmission line and fault simulation. Inside the modeling, single line to ground (SLG) fault was choose to be the fault type and Mho type distance characteristic was choose to be as the protection scheme. A graphical user interface (GUI) w...

The design of new diagram recognition systems remains a challenging problem. Ideally, recognition systems should accept real-world input, perform robustly, fail gracefully, and be implemented in a timely manner. In reality, the intricacy involved in implementing recognition systems for diagram notations makes this a challenging open problem. One solution to these challenges is the design of mid...

This paper describes the formal modeling and analysis of a design for a flash-based filesystem in Alloy. We model the basic operations of a filesystem as well as features that are crucial to NAND flash hardware, such as wear-leveling and erase-unit reclamation. In addition, we address the issue of fault tolerance by modeling a mechanism for recovery from interrupted filesystem operations due to...

With the growing complexity of the computer-based system, also their user interfaces, mostly materialized graphically, become more complex, accordingly making the test and analysis process more and more tedious and costly. The paper introduces a holistic view of fault modeling that can be carried out as a complementary step to system modeling, enabling a precise scalability of the test process,...

Extended Finite State Machine (EFSM)-based passive fault detection involves modeling the system under test (SUT) as an EFSM M, monitoring the input/output behaviors of the SUT, and determining whether these behaviors relate to faults within the SUT. We propose a new approach for EFSM-based passive fault detection which randomly selects a state in M and checks whether there is a trace in M start...