Case studies

Case studies

HORIZON – AI Processors

The Company

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.

The Problem

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.

The Xcalibyte Solution

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.


HISENSE – Smart Home Appliances

Juhaolian is a subsidiary of Hisense, known for smart home appliances, electronic equipment and intelligent information systems. Juhaolian is at...

Read the Case Study

UISEE – Autonomous Vehicles

UISEE focuses on creating future-oriented mobility and logistics solutions. Using AI, they help reshape how people live in an...

Read the Case Study

SoC Manufacturer

As an application processor manufacturer developing high-performance IoT devices and wireless interconnect chips, this company markets a wide range...

Read the Case Study