SR §5 정의가 "자동 공조"와 "선행 공조"가 한 기능 안의 두 모드임을 미리 알려준다.
다른 절과 다른 점 — 자원 경합
§6.4.2 에는 **"Fan 제어 기능 간 전환"**이라는 소절이 통째로 있다. 다른 절에는 없다. 하나의 물리 자원(Fan)을 세 논리 기능이 공유하기 때문이다.
목표 온도 기반 자동 공조 ─┐
실내 공기 순환(사용자) ─┼→ Fan 하나
Predictive Pre-conditioning ─┘
여기서 Fan 소유권 모델이 나온다.
네 번째 기능은 Fan 이 아니라 창문을 쓴다
Window 기반 자동 환기 는 Fan 이 아니라 Power Window Controller 에 요청한다. 자원 경합이 절 경계를 넘어간다.
SR 이 비워 둔 곳
§6.4.2 는 Fan 출력 수준만 정의하고 가열·냉각 소자를 정의하지 않는다. 그런데 팬은 공기를 순환시킬 뿐이라 목표 온도에 도달시키지 못한다. "목표 온도 기반 자동 공조"를 실제로 구현하려면 펠티어 나 히터가 필연이므로, 그 출력 수준 구분과 오류 처리는 별도로 정의해야 한다.