HORIZON – AI Processors
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.
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.
MORE CASE STUDIES
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
As an application processor manufacturer developing high-performance IoT devices and wireless interconnect chips, this company markets a wide range...Read the Case Study