The Power of 10: Rules for Developing Safety-Critical Code
The Power of 10 Rules were created in 2006 by Gerard J. Holzmann of the NASA/JPL Laboratory for Reliable Software. 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. Rules. The ten rules are: Uses. The NASA study of the Toyota electronic throttle control firmware found at least 243 violations of these rules. The Power of 10