EFSM specication

Exercise 1: Home heating system

A home-heating system consists of a furnace, a thermostat, and a fan for blowing air. Temperature control is distributed, so that every room has a controller to maintain its temperature. When the temperature in a room goes below tr 2, where tr is the desired room temperature, the furnace is turned on.

When the temperature in the furnace reaches a certain limit T, the furnace is shut o and the fan starts blowing the hot air.

The thermostat registers and monitors the room temperature. When the room temperature reaches tr + 2, the furnace is shut o.

The fan runs until the furnace temperature falls to T 5.

Assuming that tr + 2 T, give an EFSM specication for the system in the same format as this example:

EXAMPLE FOR ESFM OF METRO PASSAGEWAY

1 Metro passageway The EFSM of the metro passageway is the tuple S (Q, N1, Y2, qo, V, A), where Q Hocked, unlocked {request entry, pass) y2 (lock, unlock, beep) go locked V ticket {valid, invalid) A: Transition specifications locked request entry (ticket is valid unlock beep) 2. locked unlocked pass lock 3. unlocked locked