TheUseandImplementation ofCodingStandards for High-Confidence EmbeddedSystens12

Theuseofcoding standards insafety-critical embedded software development isgrowing because they reduce theriskofunsafe codeescaping intoproduction devices. Threeprominent rule setscomprising 345unique rules arestudied. Eachruleisclassified byitsrationale. Techniques fordetecting violations oftherulesare discussed, andeachoftherules isfurther classified bythe technology bestsuited foritsenforcement. Manyrules are foundto be ambiguous or proneto subjective interpretations. Thisisaparticular problem forautomatic enforcement astools require aprecise specification. For someclasses ofrules, theoretical andtechnological limitations meanthat tools mayreport violations whereno suchviolations occur. Strategies formanaging these false positives arediscussed. Broadrecommendations for adoption andenforcement ofrules aregiven.