>>14
A systems programming language is usually a language that gives the programmer full control and does not confine the programmer to any rules. The operating system that controls the computer you use is not a critical system, if it crashes, you just reboot it, no one gets killed. Reliable code is just a selling point to operating systems. The people who developed MISRA C program the electronics that controls the brakes in your car, where there is zero tolerance for error.
>>15
MISRA C is a C subset that throws out all parts of C that can not be made secure, such as I/O functions that use pointers, exceptions and other things as well as setting up guidelines for secure code.