Failure Propagation Modeling and Analysis via System Interfaces

Figure 1

The interface models of railroad crossing control system.

(a) Train

(b) Controller

(c) Gate