<p>I've heard that the automotive industry has something called MISRA C.</p>

<p>What are the relevant standards for other high reliability/availability/security industries, such as</p>

<ul>
<li>Space</li>
<li>Aircraft</li>
<li>Banking/financial</li>
<li>Automotive</li>
<li>Medical</li>
<li>Defense/Military</li>
<li>???</li>
</ul>

<p>-Adam</p>

if you're asking specifically about coding, the MISRA presents some guidelines for avoiding common mistakes in C.
however, there's a lot more to good software than coding. The "bible" of the aviation industry for sw development is DO-178B. It tells you what questions need to be addressed in the various design phases and how the answers should be documented. It's an ENORMOUS amount of paperwork, but if you're trying to keep planes in the air, you want the weakest point to be the human (pilot), not the software.