§6.4.2 의 다섯 번째 하위 기능. 이 시스템에서 노드 간 협조가 가장 복잡한 자리다.
탑승자가 없을 때만 판단한다
§6.4.2 "유효한 탑승자 정보를 확인하고, 실내 탑승자가 없는 경우에만 Window 기반 자동 환기 필요 여부를 판단해야 한다."
사람이 타고 있으면 공조(Fan)를 쓰면 되고, 주행 중 창문이 저절로 열리면 위험하다. §6.3.2 의 "실내 고온 + 탑승자 부재 = 실내 환경 개선 필요" 판단이 여기로 이어진다.
요청만 하고 직접 움직이지 못한다
문장이 "수행해야 한다"가 아니라 **"요청해야 한다"**이다. §7.2 의 "Window Motor 는 Power Window Controller 만 직접 제어한다"가 요구사항 문장 형태로 나타난 것. 그리고 §6.2.1 우선순위에서 자동 환기는 최하위라 거부될 수 있다.
실패를 삼키지 않는다
§6.4.2 "자동 환기 종료를 위한 Window 닫힘 동작이 Power Window 기능의 안전 조건 또는 닫힘 허용 조건에 의해 수행되지 않은 경우 해당 자동 환기를 정상 완료로 처리하지 않아야 한다."
Anti-pinch 를 못 쓰는 상태면 §6.2.2 에 의해 닫힘이 거부된다. 그러면 창문이 열린 채로 남는데 이걸 "환기 완료"라고 표시하면 사용자는 차가 잠겨 있다고 믿는다. 비가 오거나 도난당한다.
이 요구사항을 구현하려면 "닫힘이 거부되었음"을 상위로 전달할 신호가 필요하다 — 신호 목록을 요구사항에서 역산하다 발견되는 전형적인 누락이다.