Modeling discrete event systems with faults using a rules based modeling formalism

In this paper we present a methodology which makes the task of modeling failure prone discrete event systems (DESs) considerably less cumbersome, less error prone, and more user-friendly. In order to model failures, we augment the signals set of the rules based formalism proposed by the co-authors of this paper, to include binary valued fault signals, the values representing either a non-faulty or a faulty state of a certain failure type. The rules based modeling formalism is further extended to model real-time systems, and we apply it to model delay-faults of the system as well. The model of a failure prone DES in the rules based can automatically be converted into an equivalent (timed)-automaton model for the analysis in an automaton model framework.