By integrating Xcalscan into the SDLC and using Xcalibyte’s best practices for secure coding, Horizon was able to quickly identify key issues including AOB and NPD with an accuracy never previously achieved. By using customized rules, Horizon avoided business logic issues not easily found with normal testing.
Xcalibyte’s professional technical support for MISRA compliance created a formal security certification and an ASIL-D compliant seL4-based operating system. From rule interpretation to classification, filtering and justification reports, Horizon gained the performance, reliability and security they required.
With efficient toolchain support from Xcalibyte’s formally verified seL4 microkernel, Horizon was able to develop more efficient business applications.