ondravn

I'll add Pat Cadigan's Synners to the list.

Another consideration is vibration; trying to press a virtual button while in a high turbulence situation can be non-trivial, for example.

Critical functions will (hopefully) always remain on tactile controls for these and other reasons.

At my place of work we used to use Ada for most projects. In more recent years a move to C/C++ has been made.

Now the trend is towards model-based design, where toolsets such as Simulink or SCADE provide certified code generators or code checkers to remove most of the manual element of generating code from design.

Would love to be able to use Rust, but will need to wait for a COTS tool chain that provides certification evidence for DO-178C Level A. Sealed Rust looks to be going that way, but it's no small task.