Why elevator design tests state machines in LLD - Challenge Your Understanding

Challenge - 5 Problems

🧠 Conceptual

intermediate

Why is state machine modeling crucial in elevator design?

Elevators must handle multiple states like moving up, moving down, door open, and door closed. Why is using a state machine model important for designing such systems?

A Because state machines help clearly define all possible states and transitions, ensuring predictable and safe elevator behavior.

B Because state machines eliminate the need for sensors in elevator systems.

C Because state machines reduce the physical size of elevator components by simplifying wiring.

D Because state machines allow elevators to move faster between floors by optimizing motor speed.

💡 Hint

Think about how elevators must respond to different events and ensure safety.

State machines provide a clear way to represent all elevator states and how the system moves between them, which is essential for safety and correctness.

❓ Architecture

intermediate

Which component in elevator design acts like a state machine?

In an elevator system, which component best represents a state machine controlling the elevator's behavior?

A The elevator cabin's physical frame.

B The controller module that manages door operations and floor movements.

C The motor that moves the elevator up and down.

D The emergency alarm button.

💡 Hint

Consider which part decides what the elevator does next based on current conditions.

The controller module tracks the elevator's current state and decides transitions like opening doors or moving floors.

❓ scaling

advanced

How does state machine complexity grow with multiple elevators?

When designing a building with multiple elevators, how does the complexity of the state machine controlling the system change?

A The complexity decreases because multiple elevators share the same state machine.

B The complexity remains the same because each elevator operates independently without coordination.

C The complexity increases exponentially because each elevator's states must be coordinated to avoid conflicts.

D The complexity is irrelevant since elevators do not use state machines in multi-elevator systems.

💡 Hint

Think about how elevators must work together to serve requests efficiently.

Multiple elevators require coordination, increasing the number of states and transitions to handle combined behaviors.

❓ tradeoff

advanced

Tradeoff between simple and complex state machines in elevator design

What is a key tradeoff when choosing between a simple state machine and a complex state machine for elevator control?

A Simple state machines are easier to implement but may not handle all edge cases; complex ones handle more cases but are harder to maintain.

B Simple state machines always perform better than complex ones in speed and safety.

C Complex state machines reduce hardware costs compared to simple ones.

D Simple state machines require more sensors than complex state machines.

💡 Hint

Consider maintainability versus coverage of scenarios.

Simple state machines are easier but might miss rare cases; complex ones cover more but increase design difficulty.

❓ estimation

expert

Estimate the number of states in a 10-floor elevator state machine

Estimate how many states a state machine controlling a single elevator with 10 floors might have, considering states like moving up, moving down, door open, door closed, and idle at each floor.

A More than 1000 states due to all possible combinations.

B Exactly 10 states, one per floor.

C Only 4 states, one for each door and movement condition.

D Around 40 states, combining floor positions and door/movement states.

💡 Hint

Think about combining floor positions with door and movement states.

Each floor can have multiple states (idle, moving up/down, door open/closed), so total states multiply accordingly.

Practice

1. Why is elevator design often used to test state machines in system design?

easy

A. Because elevators have clear states and transitions that model real-world behavior

B. Because elevators require complex database management

C. Because elevators use machine learning algorithms

D. Because elevators operate without any state changes

Solution

1. Step 1: Understand elevator operation basics

   Elevators move between floors and have states like moving up, moving down, idle, door open, and door closed.

2. Step 2: Connect elevator states to state machine concept

   State machines model systems with defined states and transitions, matching elevator behavior perfectly.

3. Final Answer:

   Because elevators have clear states and transitions that model real-world behavior -> Option A

4. Quick Check:

   Elevator states = clear states and transitions [OK]

Hint: Elevators have clear states and transitions [OK]

Common Mistakes:

• Thinking elevators don't have states
• Confusing state machines with databases
• Assuming elevators use AI for basic movement

2. Which of the following correctly represents a state transition in an elevator state machine?

easy

A. Idle -> Door Open -> Moving Up

B. Idle -> Moving Up -> Door Open

C. Door Open -> Moving Down -> Door Closed

D. Moving Up -> Door Closed -> Idle

Solution

1. Step 1: Identify valid elevator state order

   An elevator usually goes from Idle to Moving Up, then Door Open when it reaches the floor.

2. Step 2: Check each option's sequence

   Idle -> Moving Up -> Door Open correctly shows Idle -> Moving Up -> Door Open, a valid transition sequence.

3. Final Answer:

   <code>Idle -> Moving Up -> Door Open</code> -> Option B

4. Quick Check:

   Idle to Moving Up to Door Open = valid transition [OK]

Hint: Elevator moves before doors open [OK]

Common Mistakes:

• Opening doors before moving
• Closing doors while idle
• Skipping moving state

3. Given this simplified elevator state machine code snippet, what is the final state after these events: callElevator(), arriveFloor(), openDoor()?

states = ['Idle', 'Moving', 'DoorOpen']
current_state = 'Idle'

def callElevator():
    global current_state
    if current_state == 'Idle':
        current_state = 'Moving'

def arriveFloor():
    global current_state
    if current_state == 'Moving':
        current_state = 'DoorOpen'

def openDoor():
    global current_state
    if current_state == 'DoorOpen':
        current_state = 'Idle'

medium

A. Idle

B. Moving

C. DoorOpen

D. Error

Solution

1. Step 1: Trace callElevator()

   Starting at 'Idle', callElevator() changes state to 'Moving'.

2. Step 2: Trace arriveFloor() and openDoor()

   arriveFloor() changes 'Moving' to 'DoorOpen', then openDoor() changes 'DoorOpen' back to 'Idle'.

3. Final Answer:

   Idle -> Option A

4. Quick Check:

   Idle after all events = Idle [OK]

Hint: Follow state changes step-by-step [OK]

Common Mistakes:

• Skipping openDoor() effect
• Assuming state stays at DoorOpen
• Confusing event order

4. In this elevator state machine code, what is the bug causing the elevator to never open doors?

current_state = 'Idle'

def callElevator():
    global current_state
    if current_state == 'Idle':
        current_state = 'Moving'

def arriveFloor():
    global current_state
    if current_state == 'Moving':
        current_state = 'Idle'  # Bug here

def openDoor():
    global current_state
    if current_state == 'DoorOpen':
        current_state = 'Idle'

medium

A. current_state is not initialized

B. callElevator() does not change state

C. openDoor() changes state incorrectly

D. arriveFloor() sets state to 'Idle' instead of 'DoorOpen'

Solution

1. Step 1: Analyze arriveFloor() function

   arriveFloor() changes 'Moving' state directly to 'Idle', skipping 'DoorOpen'.

2. Step 2: Understand effect on door opening

   Since state never becomes 'DoorOpen', openDoor() condition never triggers, so doors never open.

3. Final Answer:

   arriveFloor() sets state to 'Idle' instead of 'DoorOpen' -> Option D

4. Quick Check:

   arriveFloor() wrong state change = no door open [OK]

Hint: Check if all states are reachable in transitions [OK]

Common Mistakes:

• Ignoring wrong state assignment
• Assuming callElevator() is faulty
• Overlooking openDoor() condition

5. You are designing an elevator system with multiple elevators and floors. Why is modeling the system as a state machine important for safety and scalability?

hard

A. It eliminates the need for sensors and hardware checks

B. It allows elevators to learn user preferences automatically

C. It ensures predictable behavior and clear transitions, preventing unsafe states

D. It reduces the number of elevators needed by half

Solution

1. Step 1: Understand state machine benefits in complex systems

   State machines define clear states and transitions, making system behavior predictable and easier to manage.

2. Step 2: Connect predictability to safety and scalability

   Predictable transitions prevent unsafe states like doors opening while moving, and help scale by managing multiple elevators consistently.

3. Final Answer:

   It ensures predictable behavior and clear transitions, preventing unsafe states -> Option C

4. Quick Check:

   Predictable states = safety and scalability [OK]

Hint: Predictable states prevent unsafe elevator behavior [OK]

Common Mistakes:

• Confusing state machines with AI
• Ignoring safety in design
• Assuming hardware replaces software logic