京王の場合、
駅の誤通過防止のパターンは列車種別情報から車上DBで生成
踏切安全装置からの進入禁止は軌道回路単位で生成
なので、駅停止位置目標より手前に軌道回路の境界があったら、駅停車より手前の閉塞パターンの方で止まる
で、合ってるかしら?