|
MISRA Compliance and Software Verification |
|
HCC Embedded’s TCP/IP stack is fully compliant with MISRA-C:2004. First introduced by the automotive industry, MISRA has become a ‘best-practice’ coding standard, widely used in the medical, industrial, telecom and aerospace industries. HCC has developed its own rigorous coding standard conforming to MISRA to create a concise, strongly typed subset of the C language for use in embedded communications systems. The result is clean, clear and robust code without ambiguities. It is appropriate for use on the most critical embedded applications. Full compliance documentation, developed using the LDRA Tool Suite, is supplied to help integrate with existing development processes and to confirm that the highest standards of compliance have been met.
|