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, wher

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.