Case studies

Horizon provides customized solutions in the field of intelligent driving. With their proprietary AI processor and computing platform, Horizon offers external environment perception, in-vehicle multi-modal interaction and high-precision map modeling.

Horizon wanted to accelerate productivity and raise software quality. Their scanning tool only covered MISRA rules, so important defects such as Array Out of Bounds (AOB) and Null Pointer Dereference (NPD) could not be detected during coding. Approximately 30% of development time was being wasted by looking for bugs and root cause analysis.

On the memory side, problems with existing Linux systems were making it difficult to reliably and securely meet the higher requirements for tasks involved in autonomous driving.

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.