CRIT - Certification of RUST in crITical systems

Syfte och mål

Den nuvarande processen för certifiering av säkerhetskritiska system är besvärlig för små företag och hindrar deras arbete och tekniska bidrag. I detta förstudieprojekt kommer vi att utforska alternativa kostnads- och resurseffektiva metoder för certifiering med återanvändning av säkerhetsfunktioner implementerade i programmeringsspråket Rust. Vi kommer att identifiera kraven för Rust-baserad utveckling avseende processer och verktyg för att uppfylla certifieringskriterierna för ISO 26262.

Förväntade effekter och resultat

Förstudien kommer att bana väg för ett större fullskaligt FFI-pilotprojekt, som certifierar en säkerhetskritisk ECU-plattform med både traditionell C-baserad metod och Rust-baserade metoden. Projekts visionen är i linje med FFI-färdplanen 2030 som utvecklar nya regler och syftar, genom samarbete och innovation, till att återanvända teknik i nya sammanhang. Detta kommer inte bara att påverka små aktörer utan kan också omdefiniera och optimera processer som är välkända för stora industrier.

Planerat upplägg och genomförande

Projektet kommer att delas upp i flera arbetspaket som fokuserar på kravspecifikationen direkt från partnernas användningsfallsbehov och expertis. De kommer dessutom att fokusera på analys och utforskning av den nuvarande certifieringsprocessen för att se hur den kan implementeras i partnernas användningsfall. Efter den analysen kommer de att kartlägga certifieringskraven för Rust-språket och identifiera processer och verktyg som behövs för att fylla luckorna.