Brew Schedule Sequencer

Briefing

A 4-phase brewing sequence controller. Phases: (1) Mash — heat to ~65°C for 60s, (2) Boil — heat to ~100°C for 45s, (3) Whirlpool — run pump for 20s, (4) Transfer — open valve for 15s. Each phase confirms readiness via temperature/flow feedback before timing out. Grain bin empty before mash start latches a pre-run fault.

Objectives

• Grain bin must NOT be empty (GRAIN_BIN_EMPTY = FALSE) before mash phase starts
• Phase 1 — Mash: MASH_HEATER on; MASH_TEMP_OK required within phase duration (60s)
• Phase 2 — Boil: BOIL_HEATER on; BOIL_TEMP_OK required within phase duration (45s)
• Phase 3 — Whirlpool: WHIRLPOOL_PUMP on for 20s
• Phase 4 — Transfer: TRANSFER_VALVE on for 15s; FLOW_OK must assert
• CYCLE_COMPLETE_LAMP pulses when transfer is done; GRAIN_BIN_EMPTY latches fault before mash

I/O Table

Your program will be tested against:

All test cases run automatically when you submit. Assertions are hidden until you pass.

1. #1GRAIN_BIN_EMPTY blocks mash start

   If grain bin is empty when START_PB pressed, fault latches and mash does not start

2. #2MASH_HEATER on during mash phase

   After a valid start, MASH_HEATER asserts during phase 1

3. #3Full 4-phase brew cycle completes

   Physics provides all feedback signals; CYCLE_COMPLETE_LAMP asserts at end

4. #4STOP_PB aborts cycle mid-phase

   Pressing STOP_PB during any phase halts all outputs