Menu

QP/C 4.4.00 with MISRA-C:2004 and PC-Lint 9.x

The QP/C 4.4.00 release complies with most of the MISRA-C:2004 rules and all remaining deviations are carefully insulated and encapsulated into very specific contexts. The framework goes even beyond MISRA, by complying with string type checking and a consistent, documented coding standard.

QP/C comes with extensive support for automatic rule checking by means of PC-Lint, which is designed not just for proving compliance of the QP/C framework code, but more importantly, to aid in checking compliance of the application-level code. Any organization engaged in designing safety-related embedded software could benefit from the unprecedented quality infrastructure built around the QP/C framework.

The QP/C 4.4.00 release is accompanied by an extensive "MISRA-C:2004 Compliance Matrix" (http://www.state-machine.com/resources/AN_QP-C_MISRA.pdf), which describes also the infrastructure for static analysis with PC-Lint, as well as deviation procedures and tips for improving MISRA compliance.

Posted by Quantum Leaps 2012-02-01

Log in to post a comment.