News for hackers. Stuff that matters.
Re:Trains were designed to break down after third-party repa... by Symbiote on Friday December 15, 2023 @08:45AM (#38654110)
The signalling system is designed so there's no possibility of an oncoming (or path-crossing) train. On a modern system this is done with formal proof of the software, on an old system with mechanical interlocks.
Re:Trains were designed to break down after third-party repa... by jacquesm on Friday December 15, 2023 @09:14AM (#38654347)
Yes, and if you maintain it very well you will never have accidents. That's why Poland never has railway accidents, perfect maintenance and everything 'just works' /s.
Re:Trains were designed to break down after third-party repa... by persolb on Monday December 18, 2023 @05:10PM (#38689088)
That’s a bit of a tangent though. All of rail (even in Poland) is based on the assumption that stopped=safe.