A microprocessor sends out a positive going pulse on X1 for a fixed duration. This causes an external critical device to respond by taking its status line X2 low. If the device is working correctly then X2 will stay low until X1 falls again, then it will go high, as shown below.
If x2 rises before x1 falls then there is a critical problem with the system and an alarm must be generated immediately when x1 falls. This is achieved by generating an output on z, see below
Construct a primitive flow table. Carry out checks upon it to ensure that it has no redundancies. (I've uploaded lecture notes of the format required. Should be a small table in excel?)