Montana Amtrak Derailment Cause
Montana Amtrak Derailment Cause The train wreck in Montana occurred at a switch where two tracks narrow into one. Could this be a software error? The cause is still unknown, but what if the switch was in the wrong position?
Computers have generally made transportation safer. Newer cars have automatic braking and will warn you if you drift out of your lane or there is a car in your blind spot. But we also have a few cases of Teslas crashing while on autopilot, hitting things that a human driver could have avoided.
Planes have all kinds of safety systems. One of these systems detects when the plane is stalling and automatically steers the plane downward to gain air speed. It was a design error in this system that crashed two Boeing 737 max 8s. The plane has 2 airspeed indicators.
If either one fails (instead of both), it detects 0 MPH and runs the plane into the ground. Engineers quickly fixed the problem after the second crash, but the planes were grounded for another year because we lost confidence in the software development process.
In conclusion, there is no easy fix for the software testing problem. Firstly, it is probably not computable by Rice’s theorem. Therefore, that means there is no automated procedure or algorithm that can take some program as input and tell you if it does what it is supposed to do. Moreover, usually it’s just an annoyance, like your phone, TV, or watch pushing an update. Sometimes it’s a security breach. Software development and testing has always been an error prone art, not an exact science, since the invention of computers.