Certifying OxidOS for ISO26262 ASIL-D
This talk presents the lessons Alexandru Radovici and Georgiana Vlădulescu learned while working to certify OxidOS, an operating system fully written in #Rust. OxidOS is designed to be a safety critical certified version of Tock, an open source operating system for small ECUs. From the lack of tools and methods, to ways of improving the #ASPICE process, the team presents all the issues in this process and the solutions that we have implemented. This talk was presented at Oxidize Conference, the conference for those using Rust in their innovation and development. Sing up for the Newsletter and learn more about this talk and others on the website at https://oxidizeconf.com/. #automotive #operatingsystem #technology #Rust #rustlang #rustdev