Answered step by step
Verified Expert Solution
Link Copied!

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

image text in transcribed

image text in transcribed

Problem:

image text in transcribed

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

blur-text-image

Get Instant Access to Expert-Tailored Solutions

See step-by-step solutions with expert insights and AI powered tools for academic success

Step: 2

blur-text-image

Step: 3

blur-text-image

Ace Your Homework with AI

Get the answers you need in no time with our AI-driven, step-by-step assistance

Get Started

Recommended Textbook for

Databases On The Web Designing And Programming For Network Access

Authors: Patricia Ju

1st Edition

1558515100, 978-1558515109

More Books

Students also viewed these Databases questions

Question

b. A decline in the number of firms in the tire industry.

Answered: 1 week ago