The_Power_of_10:_Rules_for_Developing_Safety-Critical_Code
The Power of 10: Rules for Developing Safety-Critical Code
Coding guidelines by Gerald J. Holzmann
The Power of 10 Rules were created in 2006 by Gerard J. Holzmann of the NASA/JPL Laboratory for Reliable Software.[1] The rules are intended to eliminate certain C coding practices which make code difficult to review or statically analyze. These rules are a complement to the MISRA C guidelines and have been incorporated into the greater set of JPL coding standards.[2]