Rust komt dichterbij bredere inzet in industriële en embedded omgevingen nu Ferrous Systems een gecertificeerde subset van de Rust core-bibliotheek beschikbaar stelde in de nieuwste versie van de Ferrocene-toolchain. De certificering valt onder IEC 61508 op SIL2-niveau. Dit is een standaard die veel wordt toegepast in elektronica voor industriële veiligheid.
De core-bibliotheek is cruciaal voor systemen die zonder standaardbibliotheek draaien, zoals firmware of real-time besturingssoftware. Tot nu toe was het lastig om Rust formeel te gebruiken in sectoren waar veiligheidseisen zwaar tellen. Dit, omdat er geen officieel gecertificeerde basisbibliotheek beschikbaar was. Door de certificering van de core-subset kunnen ontwikkelteams nu gebruikmaken van een gevalideerde fundering voor no_std-software.
Volgens The Register gaat het om een aanzienlijk deel van de core-functionaliteit. Het medium noemt onder meer strings, slices, pointerfunctionaliteit en veelgebruikte hulpmiddelen zoals Option en Clone. Die selectie maakt het mogelijk om Rust toe te passen in omgevingen waar formele validatie van de gebruikte bibliotheken verplicht is. The Register benadrukt ook dat de gecertificeerde subset gericht is op een reeks platforms die veel in industriële toepassingen worden gebruikt, waaronder x86_64-Linux, QNX Neutrino op zowel x86_64 als Armv8-A en diverse RTOS-varianten op Armv7E-M en Armv8-A.
Botsingen tussen mens en machine
The Register schetst daarnaast hoe het gebruik van Ferrocene al zichtbaar is in concrete industriële projecten. Sonair past de toolchain toe in akoestische detectie- en rangingsystemen voor robots die draaien op Arm-gebaseerde subsystemen. Kiteshield werkt aan een veiligheidsplatform voor mijnbouw dat via ultra-widebandtechnologie botsingen tussen mens en machine moet voorkomen. Deze voorbeelden laten zien dat Rust in gereguleerde sectoren niet langer alleen theoretisch interessant is.
Het medium plaatst de ontwikkeling verder in de context van de groeiende aandacht voor memory safety. Veel embeddedsoftware wordt nog geschreven in C of C++, talen die gevoelig blijven voor geheugengerelateerde fouten. Rust wordt gezien als een mogelijke oplossing omdat het op taalniveau voorkomt dat bepaalde foutklassen ontstaan. The Register merkt daarbij op dat ook Rust-projecten zorgvuldig moeten worden ontwikkeld om nieuwe risico’s te vermijden.
Groot aantal verbeteringen
De certificering maakt deel uit van Ferrocene versie 25.11.0. Die brengt ook reguliere verbeteringen uit recente Rust-versies mee, waaronder uitbreidingen in const-generics, extra lints en bredere ondersteuning voor grote integer-typen in C-koppelingen. Daarmee blijft de toolchain technisch uptodate terwijl hij tegelijk voldoet aan formele veiligheidseisen.
Rust wordt hiermee beter bereikbaar voor sectoren waar softwareontwikkelaars niet alleen hoge betrouwbaarheid nastreven maar die ook moeten aantonen dat onderliggende componenten formeel beoordeeld zijn. De stap kan ertoe leiden dat Rust voor meer bedrijven een haalbaar alternatief wordt voor de traditionele systeemprogrammeertalen die nu in industriële embeddedsoftware domineren.