It's up to the (licensed) people working in the high risk industry to account for the potential issues caused by any "consumer" level gear they choose to incorporate. If you require audited and certified simulation software then it's on you (the licensed professional) to choose to use that instead.

Verified programming languages and compilers for safety critical systems are a thing. Khronos even has some APIs for use in safety critical applications.