Our approach is based on software-hardware separation (think Docker but for embedded) - and we aim to :

• reduce initial costs and development time down to 30%;
• reduce long-term costs for up-dates, maintenance, porting to new platforms, adding new functionalities - up to 5X both in time and costs;

We are building: OxidOS Edge - a Rust-based embedded Operating System for microcontroller-based ECUs.

OxidOS Process - an automation tool for the certification process - with a focus on integrating upstream changes in the certification process.

OxidOS Edge Platform Features

• Highly modular security-focused Rust-based Embedded OS;
• Can run as a full-fledged Operating System on microcontrollers;
• Capability-based access to hardware - applications only access their designated resources in a firewall manner (credential-based for specific peripherals).

OxidOS Edge is based on the open-source operating system https://tockos.org .

Our colleague Alex is in the 7th position in the top contributors list https://github.com/tock/tock/graphs/contributors  and, together with our colleague Ioana - published the first book on tock OS - https://link.springer.com/book/10.1007/978-1-4842-7789-8

OxidOS Process:

• Automatic detection of upstream updates, & analysis on impact and new coverage status;
• Automatic assessment of remaining traceability between code, tests, and requirements.
• Unit tests re-generation (if necessary) and test failure reports.
• Automatic generation of compliance documents, certification gaps highlights and documentation for human-in-the-loop-based certification verification.

<aside> 💡

This tooling will be used for certifying OxidOS for ASIL-B in late ‘26, validated with a certification body & used as the demo & first version of OxidOS Process

</aside>