The problem is that you can be nearly 100% Misra compliant and still have shit software. It takes away about 90% of the footguns you have in C and C++, but tho

The problem is that you can be nearly 100% Misra compliant and still have shit software. It takes away about 90% of the footguns you have in C and C++, but those 10% are just never going to be covered by a coding standard. Furthermore it's not only about using the worst language for safety in a corset. The disagreeing AoAs, the lack of a warning signal, the weird UI to disable Mcas. Nothing in MISRA or similar coding standards prevents these. It's good old common sense that you sadly can't teach (although you should maybe pay for a design course for your software developers). If not at least read the design of everyday things. Most of the design problems are the same that downed these two planes.