And programmers are going to be trusted to write software to control airplanes in flight, trucks on the highway, drones, and robots.
“And programmers are going to be trusted to write software to control airplanes in flight, trucks on the highway, drones, and robots.”
Programmers have already been trusted to write software to control a myriad of weapon systems including nuclear missiles, spacecraft control systems, aircraft control systems, nuclear reactor control systems, life-critical medical equipment software and many other critical functions.
Formal processes are used to ensure that the software performs as expected and has no malicious elements.