Safenux ASIL-B Linux

Automotive Functional Safety Linux Kernel

Safenux Linux is a Linux OS certified according to ISO 26262 ASIL-B, specifically designed for intelligent driving. It provides a high-security operating system solution, facilitating the functional safety upgrade of automotive software.

ASIL-B Compliance

Safenux Linux is ASIL-B certified by Dekra.

  • ASIL-B Linux Kernel
  • ASIL-B Linux Toolchain
  • ASIL-B LibC/C++ and OSS

Linux Safety Test Lib

Safety mechanisms for Linux kerenl functionalites and data.

  • Boot Up Self-Test
  • Online Monitoring
  • Error Detection Within FTTI

Compatibile With Linux Mainline

Safenux Linux system calls fully compatible with Linux mainline for ADAS application.

  • Supporting Linux 5.x.xx ~ 6.x.xx
  • Supporting Various SoC Hardware

ASIL Solution for Halo OS and Nuttx

ASIL compliant white box Solution of Li Auto Halo OS and Nuttx Kernel

Safenux provide ASIL compliant white box solution of Li Auto Halo OS and Nuttx Kernel for automotive cutomers.

LiAuto HaloOS is a vehicle-level operating system independently developed by Li Auto to meet the growing demands for system complexity, functional diversity, and high performance in modern smart vehicles. Its core objective is to provide a unified, efficient, and reliable technical foundation platform for computing, communication, and control functions across the entire vehicle.

NuttX is a lightweight, modular real-time operating system kernel compliant with POSIX standards, ideal for resource-constrained embedded devices. In automotive safety OS applications, its hard real-time performance and customizable features enable compliance with stringent functional safety requirements, supporting advanced driver assistance systems (ADAS) and autonomous driving development.

Li Auto Halo OS and Safenux

On September 16, 2025, Safenux signed the "Halo OS Cooperation Intent Memorandum" with Li Auto. Safenux will join the Halo OS open-source project steering committee as a partner, working together to advance the technical evolution of intelligent vehicle operating systems and build the functional safety capabilities of Halo OS.

Safenux Nuttx

Safenux's ASIL-D NuttX kernel is a lightweight, real-time OS for automotive safety MCU application.

FreeRTOS

ASIL-D FreeRTOS Solution

Safenux provide white box ASIL-D Solution of FreeRTOS for automotive cutomers. With the white box ASIL-D Solution, automotive customers can easily prove and certify their automotive systems upto ASIL-D at a low cost.

White Box for all Safety documents Low cost Self-determination and Controllability ASIL-D FreeRTOS

Safety Compliance

Multiple Industries Safety Standards Ready.

All Safenux products designed to meet functional safety expectations for various industries.

ISO26262/GBT34590

Standard for functional safety of electrical and electronic systems in road vehicles.

IEC61508

International standard for functional safety of electrical/electronic/programmable electronic safety-related systems.

DO178C

Standard for software development in the aerospace industry.