atc란 디젤동차, 전기기관차 같은 신호장치의 분류법이고
과천선/4호선 atc, 부산2호선 atc 등등 다 서로 다른 사양을 가지고 있는 물건이란 말이다.
(물론 표준화 되어있기 때문에 거의 같은 물건도 많지만)
그렇기 때문에 atc 최고속도가 얼마네 이런건 의미가 없는 말임.
tvm430도 엄밀히 말하면 atc의 일종이다.
4호선 80은 atc란 방식 자체의 문제가 아니라 4호선에 설치되어 있는 atc 시스템의 한계란 말이지.