次の日本語には間違っている部分があります。その部分を直して、正しい日本語の文を出力してください。
列車が赤信号を超えて進んだときは車両側のブレーキ配管に設置されたトリップコックが地上側のトリップアームとあたり、ブレーキが自動的に作動する仕組みであり、日本で打子式ＡＴＳと呼ばれているものである。
列車が赤信号を超えて進んだときは車両側のブレーキ配管に設置されたトリップコックが地上側のトリップアームとあたり、ブレーキが自動的に作動する仕組みであり、日本では打子式ＡＴＳと呼ばれているものである。