Coding for high reliability/availability/security - what standards do I read?

Question

I\'ve heard that the automotive industry has something called MISRA C.

What are the relevant standards for other high reliability/availability/security industries, such

Answer 1

Check out the Goddard Space Flight Center and its coding standards. One of the C standards, which I've adopted in my own code, is that headers must be self-contained, and they provide a simple way to enforce that -- a module's header must be the first file included in the module, so if the file is not self-contained, it won't compile.