Answered step by step
Verified Expert Solution
Question
1 Approved Answer
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
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)Step by Step Solution
There are 3 Steps involved in it
Step: 1
Get Instant Access to Expert-Tailored Solutions
See step-by-step solutions with expert insights and AI powered tools for academic success
Step: 2
Step: 3
Ace Your Homework with AI
Get the answers you need in no time with our AI-driven, step-by-step assistance
Get Started