Safety Mat Monitor

Briefing

A safety mat system protects two hazardous zones. When a worker steps onto a mat (MAT_ZONE_1 or MAT_ZONE_2 goes true), the corresponding zone lamp latches on, HORN sounds, and MACHINE_STOP is asserted. The SILENCE_PB quiets the HORN without clearing the zone lamp. The RESET_PB clears the zone lamp and releases MACHINE_STOP — but only while the corresponding mat is unoccupied. Both mats can be tripped simultaneously.

Objectives

• MAT_ZONE_1 pressed latches ZONE_1_LAMP and asserts MACHINE_STOP + HORN
• MAT_ZONE_2 pressed latches ZONE_2_LAMP and asserts MACHINE_STOP + HORN
• SILENCE_PB silences HORN but zone lamps remain on
• RESET_PB clears zone lamp only when the corresponding mat is released
• MACHINE_STOP de-energises only when both zone lamps are cleared
• Both mats pressed simultaneously latches both zone lamps

I/O Table

Your program will be tested against:

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

1. #1MAT_ZONE_1 pressed latches ZONE_1_LAMP and asserts MACHINE_STOP

   Step on mat 1 — lamp latches, horn sounds, machine stops

2. #2ZONE_1_LAMP stays latched after mat released (no reset)

   Mat released without reset — lamp must stay on, stop must stay asserted

3. #3SILENCE_PB mutes HORN but zone lamp stays on

   Press SILENCE_PB — horn silences, zone lamp stays latched

4. #4RESET_PB clears lamp only when mat is released

   Release mat then press RESET_PB — lamp clears and machine stop releases

5. #5Both mats pressed latch both zone lamps independently

   Trip both mats; release mat 1 and reset clears only zone 1 lamp