CCST 34 — Acknowledge and Clear Alarms

Briefing

HMI operators can acknowledge (silence) and then clear alarms. Implement two-step: first ACK silences the ALARM_HORN; then CLEAR removes the ALARM_LAMP (only after the fault clears).

Objectives

• ALARM_HORN := ALARM and NOT ACK_BIT
• ALARM_LAMP := ALARM
• ACK_BIT sets on HMI_ACK; resets when ALARM clears AND HMI_CLEAR pressed

I/O Table

Your program will be tested against:

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

1. #1Horn sounds on alarm

   Horn sounds on alarm

2. #2ACK silences horn

   ACK silences horn