JPL Certification with the LDRA tool suite

What is JPL?

JPL

The choice of language for safety-critical code is in itself a key consideration. At many organizations, JPL included, developers write most code in C. With its long history, there is extensive tool support for this language, including strong source code analysers, logic model extractors, metrics tools, debuggers, test-support tools, and a choice of mature, stable compilers. For this reason, C is also the target of the majority of existing coding guidelines. For fairly pragmatic reasons, then, the following 10 rules primarily target C and attempt to optimize the ability to more thoroughly check the reliability of critical applications written in C.

For a definition of the rules please visit the IEEE website.

JPL

JPL Certification with the LDRA Tool Suite

The 10 JPL rules primarily target C. The LDRA tool suite implements 8 (1 partial) of the 9 tool detectable rules. Specific details on the JPL rules and LDRA's compliance can be found in the LDRA JPL document (Soon to be released).

Obtaining Further Information

For further information on JPL Certification complete the LDRA reply form or email .

Specific details on the JPL rules can be found at the

IEEE website.