Provided with process verification documents such as fully MISRA-compliant static- and dynamic-code analysis report, TCP/IP Stack includes HTTP, SMTP, SNTP/NTP, and SNMP protocols. All come with security options enabling them to be used with HCC’s verifiable TLS and Encryption Manager. All protocols are developed to their respective RFCs and use test suites that verify not only interoperability but also integrity of code. Full software life-cycle documentation is also available.