Funksjonell sikkerhet i FAT filsystem

PX5, en global leverandør innen høytytende sanntidsoperativsystemer og mellomvare, kan i dag offentliggjøre standard funksjonell sikkerhetssertifisering for PX5 FILE. Det betyr at utviklere nå kan utnytte SGS-TÜV Saar-sertifiseringen av dette innvevde FAT- (filallokeringstabell) filsystemet i forbindelse med programvaresertifiseringen sin for å raskere og mer kostnadseffektivt bygge en pålitelig sikkerhetssertifisert enhet for bil-, industri- og medisinindustrien.

– Ikke bare er funksjonell sikkerhet det viktigste for utviklere av sikkerhetskritiske enheter, men det påvirker også sikkerheten siden en enhet med funksjonelle sikkerhetssårbarheter er lettere å kompromittere, uttaler William Lamie, administrerende direktør i PX5. – Denne sikkerhetssertifiseringen gir tillit til sikkerheten og sertifiserbarheten til applikasjonskoden. Den er også tilgjengelig uten kompromisser med hensyn til kjernefordeler, noe som gjør PX5 RTOS og PX5 FILE til de minste, raskeste, sikreste og mest sikre i bransjen, hevder han.

PX5 FILE skal ifølge leverandøren være den eneste dypt innebygde filen som presenterer et innebygd Linux-filsystem-API som har oppnådd funksjonell sikkerhetssertifisering til de høyeste nivåene av funksjonelle sikkerhetsstandarder IEC 61508, IEC 62304, ISO 26262 og EN 50128, nærmere bestemt IEC 61508 SIL 4, IEC 62304 klasse C, ISO 26262 ASIL D og EN 50128 SW-SIL 4. Utviklere som bruker PX5 FILE kan utnytte RTOS-sertifiseringsartefaktene for å spare tid og penger under applikasjonssertifisering.

Som det første RTOS med et innebygd POSIX pthread API, som er et standardbasert API for flertrådede applikasjoner utviklet i C, tilbyr PX5 RTOS et kjent programmeringsgrensesnitt for utviklere av innvevde systemer. PX5 RTOS-implementeringen av innvevde pthreads støtter kodeportabilitet og gjenbruk, samtidig som den gir et lite minneavtrykk, full flertråding og hard sanntidsfunksjonalitet. På samme måte skal PX5 FILE gi utviklere bransjestandard Linux filsystem-API og komplett støtte for FAT 12/16/32/exFAT-filsystemer, inkludert feiltolerant drift. Både PX5 RTOS og PX5 FILE inkluderer full støtte for utviklingsverktøy, kildekode og royaltyfri lisensiering.