Problem:

please help me to do this problem

SAFETY MONITOR A safety monitor for a reactive component C with input variables I and output variables O consists of a synchronous reactive component M such that: the set of input variables of M is a subset of the variables IVO, the set of output variables of M is disjoint from the variables IVO, and the reaction description of M is given as an extended-state ma- chine, along with a subset F of the modes declared as accepting. The component C satisfies the monitor specification if the property M.mode & F is an invariant of the composed system C || M. The requirement that the input variables of the monitor M are the input/output variables of the component C means that M can observe the behavior of C in terms of its interaction with the other components. The requirement that the output variables of M are neither the inputs nor the outputs of C ensures that the behavior of C is not modified by the monitor M and also that it is compatible with M. We design the monitor so that it enters an error mode in the set F outw 8 else outw? arrive 0 else signal = green outs oute? leave signalw = green 3 else signal oute ? leave Figure 3.9: Fairness Monitor WestFairMonitor for the West Train Consider a component C with an output variable x of type int. Design a safety monitor to capture the requirement that the sequence of values output by the component C is strictly increasing (that is, the output in each round should be strictly greater than the output in the preceding round). SAFETY MONITOR A safety monitor for a reactive component C with input variables I and output variables O consists of a synchronous reactive component M such that: the set of input variables of M is a subset of the variables IVO, the set of output variables of M is disjoint from the variables IVO, and the reaction description of M is given as an extended-state ma- chine, along with a subset F of the modes declared as accepting. The component C satisfies the monitor specification if the property M.mode & F is an invariant of the composed system C || M. The requirement that the input variables of the monitor M are the input/output variables of the component C means that M can observe the behavior of C in terms of its interaction with the other components. The requirement that the output variables of M are neither the inputs nor the outputs of C ensures that the behavior of C is not modified by the monitor M and also that it is compatible with M. We design the monitor so that it enters an error mode in the set F outw 8 else outw? arrive 0 else signal = green outs oute? leave signalw = green 3 else signal oute ? leave Figure 3.9: Fairness Monitor WestFairMonitor for the West Train Consider a component C with an output variable x of type int. Design a safety monitor to capture the requirement that the sequence of values output by the component C is strictly increasing (that is, the output in each round should be strictly greater than the output in the preceding round)