LeanOS is a lightweight, high-performance real-time operating system designed specifically for automotive embedded systems. Built on OSEK/VDX standards, LeanOS provides deterministic task scheduling, efficient resource management, and robust interrupt handling for safety-critical automotive applications.
With support for single-core architectures, LeanOS delivers the predictable timing behaviour essential for body control applications. The OS features priority-based pre-emptive scheduling, priority ceiling protocol for resource management, and is developed following processes for functional safety.
Deterministic, priority-based pre-emptive task scheduling for real-time automotive workloads.
Safe and deterministic access to shared resources using OSEK-compliant mechanisms.
Event-driven programming and execution with precise time-based control.
Efficient interrupt handling with deterministic latency and nesting support.
Run-time isolation to improve system robustness and fault containment for application partition.
Designed to operate on modern multi-core automotive microcontrollers.
LeanOS supports multiple scalability levels, allowing you to select the appropriate feature set based on application complexity, performance requirements, and safety needs.
Provides standard OSEK-compliant functionality for simple real-time applications, including task scheduling, resource management, events, alarms, and counters.
Extends the basic feature set with execution time monitoring and timing protection mechanisms for time-critical systems.
Introduces MPU-based memory isolation with OS-application separation and trusted function execution for fault containment.
Combines timing and memory protection capabilities for the highest safety and reliability requirements.
LeanOS combines automotive-grade reliability with a compact and efficient design, making it suitable for both cost-sensitive ECUs and high-performance automotive applications.
Ultra-Low Footprint
Deterministic Timing
Fast Context Switch
MISRA-C Compliant
ASIL-D Support
LeanCfg Integration
LeanOS is optimized for leading automotive microcontroller families.
TC37xx, TC2xx
MPC57xx, S9KEAxx
RH850, RL78, RA4W1
STM32C092RCT6
