PX5 FILE嵌入式FAT文件系統(tǒng)的ASIL D認(rèn)證

SGS-TüV Saar已經(jīng)認(rèn)證了PX5實(shí)時(shí)作系統(tǒng)（RTOS）的嵌入式文件系統(tǒng)，使其達(dá)到了汽車和醫(yī)療應(yīng)用的最高功能安全級(jí)別。

PX5 FILE 是一個(gè)深度嵌入的文件，展示了原生 Linux 文件系統(tǒng) API，并已通過 IEC 61508 SIL4、IEC 62304 C 類、ISO 26262 ASIL D 和 EN 50128 SW-SIL4 功能安全標(biāo)準(zhǔn)認(rèn)證。

開發(fā)人員現(xiàn)在可以將嵌入式文件分配表 （FAT） 文件系統(tǒng)的認(rèn)證與其應(yīng)用軟件認(rèn)證結(jié)合使用，為汽車、工業(yè)和醫(yī)療行業(yè)構(gòu)建可靠的安全認(rèn)證設(shè)備。

PX5 由 Thread X RTOS 的創(chuàng)始人 Bill Lamie 開發(fā)，專門用于僅 1KB 的小代碼庫，以簡(jiǎn)化功能安全認(rèn)證。對(duì)于安全關(guān)鍵型和非安全關(guān)鍵型設(shè)備的開發(fā)人員，超小型認(rèn)證文件系統(tǒng)提供了穩(wěn)定、可靠的基礎(chǔ)，該文件系統(tǒng)根據(jù)行業(yè)最佳實(shí)踐構(gòu)建，以支持改進(jìn)的產(chǎn)品可靠性、安全性、質(zhì)量和上市時(shí)間。

這提供了更快的認(rèn)證途徑，通過提高質(zhì)量并縮短上市時(shí)間來減少產(chǎn)品責(zé)任。

PX5 是第一個(gè)具有原生 POSIX pthread API 的 RTOS，該 API 是基于標(biāo)準(zhǔn)的 API，適用于用 C 語言開發(fā)的多線程應(yīng)用程序，PX5 RTOS 為嵌入式開發(fā)人員提供了熟悉的編程接口。

本機(jī) pthreads 實(shí)現(xiàn)支持代碼可移植性和重用，同時(shí)提供較小的內(nèi)存占用、完整的多線程和硬實(shí)時(shí)功能。

同樣，PX5 FILE 為開發(fā)人員提供了行業(yè)標(biāo)準(zhǔn)的 Linux 文件系統(tǒng) API 和完整的 FAT 12/16/32/exFAT 文件系統(tǒng)支持，包括容錯(cuò)作。PX5 RTOS 和 PX5 FILE 都包含完整的開發(fā)工具支持、源代碼和免版稅許可。

PX5 首席執(zhí)行官 William Lamie 表示：“功能安全不僅是安全關(guān)鍵設(shè)備開發(fā)人員的首要考慮因素，而且它會(huì)影響安全性，因?yàn)榇嬖诠δ馨踩┒吹脑O(shè)備更容易受到損害?！霸摴δ馨踩J(rèn)證使所有嵌入式開發(fā)人員對(duì)其應(yīng)用程序代碼的安全性、安全性和可認(rèn)證性充滿信心。它也可以在不影響核心優(yōu)勢(shì)的情況下使用，使 PX5 RTOS 和 PX5 FILE 成為業(yè)內(nèi)最小、最快、最安全和最可靠的。

PX5 RTOS 的全套功能安全認(rèn)證現(xiàn)已直接從 PX5 獲得。