F28377D-SEP: How to implement QAC for C28 core?

While QAC does not support the C28 core, TI provides built-in MISRA-C:2012 compliance checking through the C2000 C/C++ compiler itself, along with a comprehensive MISRA-C Policy document and pre-validated Driverlib that can be used to prove code compliance with MISRA-C2012 requirements.

Response

TI's Built-in MISRA-C:2012 Compliance Solution

Instead of using QAC, your customer can leverage TI's native MISRA-C:2012 compliance tools specifically designed for the C28 core. The C2000 C/C++ compiler includes a built-in feature that checks source code for MISRA C:2012 rules [1]. This provides a direct alternative to QAC that is fully compatible with the C28 architecture.

To enable and use this MISRA C:2012 checking feature, detailed instructions are available in the code generation tools documentation [1]. This native compiler support eliminates the compatibility issues associated with using third-party tools like QAC on the C28 core.

C2000 MISRA-C Policy Document

TI provides a comprehensive C2000 MISRA-C Policy document that defines the specific MISRA-C compliance approach for the C2000 family [2][3]. This policy document serves as the authoritative reference for understanding how MISRA-C:2012 requirements apply to C28 core development and should be consulted when establishing compliance procedures.

Pre-Validated Driverlib

For customers using TI's peripheral drivers, the Driverlib offers additional compliance assurance:

• The Driverlib has undergone MISRA-C:2012 static analysis [4]
• All drivers are compliant with the C2000 MISRA-C:2012 Policy [4]
• Using these pre-validated drivers can reduce the compliance verification burden for customer code [4]

Functional Safety Qualification

For customers requiring formal compiler qualification for functional safety standards, TI offers a Compiler Qualification Kit that helps qualify the C2000 C/C++ compiler for standards such as ISO 26262 and IEC 61508 [1]. This kit can provide additional documentation and evidence for safety-critical applications.

Recommended Approach

To prove MISRA-C2012 compliance for C28 core code without QAC:

1. Enable MISRA C:2012 checking in the C2000 C/C++ compiler
2. Reference the C2000 MISRA-C Policy document for compliance guidelines
3. Utilize the pre-validated Driverlib where possible
4. Consider the Compiler Qualification Kit for safety-critical applications
5. Document compliance using the compiler's built-in checking reports

Citations

1. C2000 C/C++ compiler MISRA C:2012 checking feature and Compiler Qualification Kit
2. C2000 MISRA-C Policy reference document
3. C2000 MISRA-C:2012 Policy details
4. Driverlib MISRA-C:2012 compliance and static analysis