Designing a system
What are the questions that comes into mind when designing a system?
Expert
• What is the average waiting?
• Determine the number of customers waiting on an average?
• How long is average service time?
• What are the chances of one or more servers being idle?
• Determine the average utilization of the servers?
Building Models • What do we need to know to build a model?– For model checking we need to specify behavior • Consider a simple vending machine – A custome rinserts coins, selects a beverage and receives a can of soda &bul
Forced Flow Law: • The forced flow law captures the relationship between the various components in the system. It states that the throughputs or flows, in all parts of a system must be proportional t
Little’s Law: • L = λR = XR • Lq = λW = XW • Steady state system • Little’s Law holds as long as customers are not destroyed or&nbs
Interactive Response Time Law: • R = (L/X) - Z• Applies to closed systems.• Z is the think time. The time elapsed since&nb
Safety and Liveness in Model Checking Approach; •? Safety: Nothing bad happens •? Liveness: Something good happens •? Model checking is especially good at verifying safety and liveness properties –?Concurrency i
Kendall’s notation: A/B/C/K/m/Z A, Inter-arrival distribution M exponential D constant or determ
This week you will analyze if women drink more sodas than men. For the purposes of this Question, assume that in the past there has been no difference. However, you have seen lots of women drinking sodas the past few months. You will perform a hypothesis test to determine if women now drink more
Assumptions in Queuing system: • Flow balance implies that the number of arrivals in an observation period is equal to the
Service times:A) In most cases, servicing a request takes a “short” time, but in a few occasions requests take much longer.B) The probability of completing a service request by time t, is independent of how much tim
SPIN: • SPIN generates C program that is the model checker – The pan verifier • Process Analyzer – Run the pan executable to do the model check
18,76,764
1948836 Asked
3,689
Active Tutors
1420743
Questions Answered
Start Excelling in your courses, Ask an Expert and get answers for your homework and assignments!!