요구-실제 대조

§6.4.2 가 명시적으로 요구한다.

"요구된 Fan 출력 수준과 실제 Fan 상태가 일치하지 않는 경우 오류 상태로 처리해야 한다."

이 비교가 성립하려면 출력이 이산값이어야 한다

Fan 을 OFF/LOW/MEDIUM/HIGH 4단계로 못 박은 이유가 여기 있다. 연속 PWM 이면 "37 % 요구, 35 % 실제"가 오류인지 아닌지 기준을 따로 정해야 하는데 SR 에 그 값이 없다. 4단계면 requested == actual 한 줄로 끝난다.

요구와 실제는 별도 변수여야 한다

typedef struct {
    fan_level_t requested;      /* 기능이 요구한 수준 */
    fan_level_t actual;         /* 실측된 수준 */
    bool        actual_trusted; /* 실측 가능한가 */
    uint32_t    mismatch_since_ms;
} fan_status_t;

actual_trusted 가 false 면 §6.4.2 의 "실제 Fan 동작 상태를 정상적으로 확인할 수 없는 경우 정상 상태로 처리하지 않아야 한다"에 해당한다.

허용 시간이 필요하다

요구를 OFF→HIGH 로 바꾼 순간 실제 팬은 아직 정지 상태다. 회전수가 올라가는 데 시간이 걸린다. 즉시 불일치로 판정하면 매 전환마다 오류가 뜨고, 오류가 잦으면 사용자가 무시하게 되어(alarm fatigue) 진짜 고장을 놓친다.

허용 시간은 팬의 물리적 기동 시간보다 길고, 실제 고장을 놓칠 만큼 길지는 않게 잡는다.

실제 상태를 어떻게 아는가

전류 측정(PWM 동기 ADC), tach 펄스(4선 팬), 역기전력 중 하나다. §6.4.2-6 을 직접적으로 충족하려면 tach 가 있는 4선 팬이 유리하다 — 요구사항이 부품 선정을 결정하는 사례.