Ferrocene krijgt Rust-core voor industriële veiligheidsnormen

In dit artikel:

Ferrous Systems heeft in Ferrocene 25.11.0 een gecertificeerde subset van de Rust core-bibliotheek vrijgegeven, gevalideerd volgens IEC 61508 op SIL2-niveau. De gecertificeerde onderdelen richten zich op no_std-omgevingen (firmware en realtimesoftware) en omvatten veel essentiële functionaliteit zoals strings, slices, pointeroperaties en algemeen gebruikte types als Option en Clone. Daarmee ontstaat voor ontwikkelteams een formeel beoordeelde basis om Rust toe te passen in veiligheidskritische industriële systemen.

De certificering dekt meerdere veelgebruikte platforms, onder meer x86_64-Linux, QNX Neutrino (x86_64 en Armv8-A) en diverse RTOS-varianten op Armv7E-M en Armv8-A. Concrete toepassingen zijn al zichtbaar: Sonair gebruikt Ferrocene voor akoestische detectie in robotica-subsystemen en Kiteshield bouwt een mijnbouwveiligheidsplatform met ultra-wideband voor het voorkomen van botsingen mens–machine. Dit illustreert dat Rust niet langer alleen theoretisch interessant is voor gereguleerde sectoren.

De release bevat tevens reguliere technische vernieuwingen uit recente Rust-versies (onder meer uitbreidingen in const-generics, extra lints en betere ondersteuning voor grote integer-typen in C-koppelingen). Omdat veel embeddedsoftware nog in C/C++ wordt geschreven — talen die vatbaar zijn voor geheugenfouten — kan deze stap Rust aantrekkelijker maken voor bedrijven die zowel hoge betrouwbaarheid als formele aantoonbaarheid van componenten nodig hebben. Belangrijk blijft dat ook Rust-projecten zorgvuldig moeten worden ontworpen om nieuwe risico’s te vermijden.