Do avionics in general subscribe to MISRA C/C++ or do they go even further with an additional (or different) approach?
replies(3):
Honestly I think that's probably the correct way to write high reliability code.
Do you have any evidence for "probably"?
See https://www.safetyresearch.net/toyota-unintended-acceleratio...
"I know for a fact that Italian cooks generate spaghetti, and the deceased's last meal contained spaghetti, therefore an Italian chef must have poisoned him"